Advances in Computers (eBook)
390 Seiten
Elsevier Science (Verlag)
978-0-08-045967-7 (ISBN)
Key Features:
* In-depth surveys and tutorials on new computer technology.
* Well-known authors and researchers in the field.
* Extensive bibliographies with most chapters.
* Impact of AI on software development and impact of software development on correct AI programs.
* What is the educational role of mathematics in the development of the next generation of computer professional?
* In-depth surveys and tutorials on new computer technology.
* Well-known authors and researchers in the field.
* Extensive bibliographies with most chapters.
* Impact of AI on software development and impact of software development on correct AI programs.
* What is the educational role of mathematics in the development of the next generation of computer professional?
This present volume describes some of the latest advances in the computer science field today. This current volume emphasizes information processing with chapters on artificial intelligence, data bases and software engineering. In particular it looks at the interfaces between AI and software development with chapters on how AI affects the development of correct programs, and conversely, how software engineering can affect the development of correct AI programs.Key Features:* In-depth surveys and tutorials on new computer technology.* Well-known authors and researchers in the field.* Extensive bibliographies with most chapters.* Impact of AI on software development and impact of software development on correct AI programs.* What is the educational role of mathematics in the development of the next generation of computer professional?* In-depth surveys and tutorials on new computer technology.* Well-known authors and researchers in the field.* Extensive bibliographies with most chapters.* Impact of AI on software development and impact of software development on correct AI programs.* What is the educational role of mathematics in the development of the next generation of computer professional?
COVER 1
Advances in Computers 4
Copyright Page 5
Contents 6
Contributors 10
Preface 14
Chapter 1. The State of Artificial Intelligence 16
1. Introduction 18
2. Rule-Basd Systems 21
3. Moving Beyond Rules 32
4. Intelligent Agents 45
5. Genetic Algorithms 53
6. Neural Networks 59
7. HybridSystems 72
8. Conclusions 81
Acknowledgements 84
References 85
Chapter 2. Software Model Checking with SPIN 92
1. Introduction 93
2. Background 94
3. Finite Automata 97
4. Temporal Logic 102
5. LTL Model Checking 106
6. Model Extraction and Abstraction 117
7. Perspective 119
Acknowledgements 120
References 120
Chapter 3. Early Cognitive Computer Vision 124
1. Introduction 125
2. Visual Measurements 128
3. Invariance 138
4. Natural Image Statistics 149
5. Conclusions 162
References 162
Chapter 4. Verication and Validation and Articial Intelligence 168
1. Introduction 169
2. AI Software Can Be Complex 172
3. Model-Based AI Systems 183
4. The Knowledge Level 190
5. AI Software Can Be Nondeterministic 193
6. Adaptive AI Systems 197
7. Conclusion 207
Acknowledgements 208
References 208
Chapter 5. Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases 218
1. Introduction 219
2. Representation of Image Content: Feature Extraction 226
3. Detection of Salient Design Image Elements by Figure-Ground Segregation 234
4. MPEG-7 Description of Design Images 247
5. Inference and Learning for Relevance Feedback by Examples 253
6. Conclusion and Outlook 269
Acknowledgements 270
References 270
Chapter 6. Defect Analysis: Basic Techniques for Management and Learning 274
1. Introduction 275
2. Modeling for Quality Management 276
3. Monitoring Process Performance 285
4. Learning and Improvement 296
5. Summary and Conclusions 307
References 308
Chapter 7. Function Points 312
1. Introduction 313
2. Albrecht/IFPUG Function Points 316
3. Experience with IFPUG Function Points 323
4. Mark II Function Points 334
5. Some Other Early Variations 338
6. COSMIC 342
7. Function Points for Object-Oriented Software 348
8. Function Point Standards 354
9. Conclusions 356
Acknowledgements 356
References 357
Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education 364
1. Introduction 365
2. Mystery Novels and John Wooden 366
3. Computer Science and Software Engineering 367
4. Foundational Mathematics 368
5. Models 369
6. General Mathematical Reasoning 371
7. Patterns, It Is All About Patterns 372
8. Inductive Thinking and Generalization 376
9. Declarative Versus Imperative Reasoning 382
10. Algorithmic Problem Solving 384
11. Recursive Thinking 386
12. Mathematical Induction 388
13. Why Mathematics? 390
14. Curricula Issues 392
15. Foundations of Computing„A First Course 395
16. Conclusions 399
Acknowledgements 400
Appendix A: CSE-113 Foundations of Computer Science I 400
Appendix B: Butler University, Foundations of Computing I 402
Appendix C: Sample First Exam for Foundations of Computing I (100 minutes) 403
Appendix D: Representative List Processing Lab Exercises Using Standard ML 405
Appendix E: Solutions for Problems Cited 407
References 408
Author Index 412
Subject Index 424
Contents of Volumes in This Series 440
Color Plate Section 448
Erscheint lt. Verlag | 11.8.2005 |
---|---|
Sprache | englisch |
Themenwelt | Sachbuch/Ratgeber |
Mathematik / Informatik ► Informatik ► Datenbanken | |
Informatik ► Grafik / Design ► Digitale Bildverarbeitung | |
Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge | |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Algorithmen | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Naturwissenschaften ► Biologie ► Ökologie / Naturschutz | |
Sozialwissenschaften ► Pädagogik ► Berufspädagogik | |
Technik ► Nachrichtentechnik | |
ISBN-10 | 0-08-045967-6 / 0080459676 |
ISBN-13 | 978-0-08-045967-7 / 9780080459677 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 11,2 MB
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich