Advances in Computers (eBook)

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