Advances in Computers
Regular price
68.500 KD
inc. VAT
Couldn't load pickup availability
Table of contents
- Advances in Computersiii
- Copyright Pageiv
- Contentsv
- Contributorsix
- Prefacexiii
- Chapter 1. The State of Artificial Intelligence1
- 1. Introduction3
- 2. Rule-Basd Systems6
- 3. Moving Beyond Rules17
- 4. Intelligent Agents30
- 5. Genetic Algorithms38
- 6. Neural Networks44
- 7. HybridSystems57
- 8. Conclusions66
- Acknowledgements69
- References70
- Chapter 2. Software Model Checking with SPIN77
- 1. Introduction78
- 2. Background79
- 3. Finite Automata82
- 4. Temporal Logic87
- 5. LTL Model Checking91
- 6. Model Extraction and Abstraction102
- 7. Perspective104
- Acknowledgements105
- References105
- Chapter 3. Early Cognitive Computer Vision109
- 1. Introduction110
- 2. Visual Measurements113
- 3. Invariance123
- 4. Natural Image Statistics134
- 5. Conclusions147
- References147
- Chapter 4. Verication and Validation and Articial Intelligence153
- 1. Introduction154
- 2. AI Software Can Be Complex157
- 3. Model-Based AI Systems168
- 4. The Knowledge Level175
- 5. AI Software Can Be Nondeterministic178
- 6. Adaptive AI Systems182
- 7. Conclusion192
- Acknowledgements193
- References193
- Chapter 5. Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases203
- 1. Introduction204
- 2. Representation of Image Content: Feature Extraction211
- 3. Detection of Salient Design Image Elements by Figure-Ground Segregation219
- 4. MPEG-7 Description of Design Images232
- 5. Inference and Learning for Relevance Feedback by Examples238
- 6. Conclusion and Outlook254
- Acknowledgements255
- References255
- Chapter 6. Defect Analysis: Basic Techniques for Management and Learning259
- 1. Introduction260
- 2. Modeling for Quality Management261
- 3. Monitoring Process Performance270
- 4. Learning and Improvement281
- 5. Summary and Conclusions292
- References293
- Chapter 7. Function Points297
- 1. Introduction298
- 2. Albrecht/IFPUG Function Points301
- 3. Experience with IFPUG Function Points308
- 4. Mark II Function Points319
- 5. Some Other Early Variations323
- 6. COSMIC327
- 7. Function Points for Object-Oriented Software333
- 8. Function Point Standards339
- 9. Conclusions341
- Acknowledgements341
- References342
- Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education349
- 1. Introduction350
- 2. Mystery Novels and John Wooden351
- 3. Computer Science and Software Engineering352
- 4. Foundational Mathematics353
- 5. Models354
- 6. General Mathematical Reasoning356
- 7. Patterns, It Is All About Patterns357
- 8. Inductive Thinking and Generalization361
- 9. Declarative Versus Imperative Reasoning367
- 10. Algorithmic Problem Solving369
- 11. Recursive Thinking371
- 12. Mathematical Induction373
- 13. Why Mathematics?375
- 14. Curricula Issues377
- 15. Foundations of Computing„A First Course380
- 16. Conclusions384
- Acknowledgements385
- Appendix A: CSE-113 Foundations of Computer Science I385
- Appendix B: Butler University, Foundations of Computing I387
- Appendix C: Sample First Exam for Foundations of Computing I (100 minutes)388
- Appendix D: Representative List Processing Lab Exercises Using Standard ML390
- Appendix E: Solutions for Problems Cited392
- References393
- Author Index397
- Subject Index409
- Contents of Volumes in This Series425
- Color Plate SectionCOLOR A
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?
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?