REBIUN - ODA

Descripción del título

Advances in computers [edit...

Advances in computers

Zelkowitz, Marvin V. (1945-)

Elsevier Academic Press c2005

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

Ver

Electronic books

Monografía

monografia Rebiun25979723 https://catalogo.rebiun.org/rebiun/record/Rebiun25979723 m o d | cr -n--------- 060613s2005 ne a ob 001 0 eng d 1-280-63031-0 9786610630318 0-08-045967-6 UPVA 997187455703706 MiAaPQ MiAaPQ MiAaPQ eng 303.4834 510.78 Advances in computers electronic resource] edited by Marvin V. Zelkowitz Amsterdam Boston Elsevier Academic Press c2005 Amsterdam Boston Amsterdam Boston Elsevier Academic Press 1 online resource (471 p.) 1 online resource (471 p.) Text txt computer c online resource cr Advances in computers v. 65 Description based upon print version of record Includes bibliographical references and indexes Front Cover; Advances in Computers; Copyright Page; Contents; Contributors; Preface; Chapter 1. The State of Artificial Intelligence; 1. Introduction; 2. Rule-Basd Systems; 3. Moving Beyond Rules; 4. Intelligent Agents; 5. Genetic Algorithms; 6. Neural Networks; 7. HybridSystems; 8. Conclusions; Acknowledgements; References; Chapter 2. Software Model Checking with SPIN; 1. Introduction; 2. Background; 3. Finite Automata; 4. Temporal Logic; 5. LTL Model Checking; 6. Model Extraction and Abstraction; 7. Perspective; Acknowledgements; References; Chapter 3. Early Cognitive Computer Vision 1. Introduction2. Visual Measurements; 3. Invariance; 4. Natural Image Statistics; 5. Conclusions; References; Chapter 4. Verication and Validation and Articial Intelligence; 1. Introduction; 2. AI Software Can Be Complex; 3. Model-Based AI Systems; 4. The Knowledge Level; 5. AI Software Can Be Nondeterministic; 6. Adaptive AI Systems; 7. Conclusion; Acknowledgements; References; Chapter 5. Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases; 1. Introduction; 2. Representation of Image Content: Feature Extraction 3. Detection of Salient Design Image Elements by Figure-Ground Segregation4. MPEG-7 Description of Design Images; 5. Inference and Learning for Relevance Feedback by Examples; 6. Conclusion and Outlook; Acknowledgements; References; Chapter 6. Defect Analysis: Basic Techniques for Management and Learning; 1. Introduction; 2. Modeling for Quality Management; 3. Monitoring Process Performance; 4. Learning and Improvement; 5. Summary and Conclusions; References; Chapter 7. Function Points; 1. Introduction; 2. Albrecht/IFPUG Function Points; 3. Experience with IFPUG Function Points 4. Mark II Function Points5. Some Other Early Variations; 6. COSMIC; 7. Function Points for Object-Oriented Software; 8. Function Point Standards; 9. Conclusions; Acknowledgements; References; Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education; 1. Introduction; 2. Mystery Novels and John Wooden; 3. Computer Science and Software Engineering; 4. Foundational Mathematics; 5. Models; 6. General Mathematical Reasoning; 7. Patterns, It Is All About Patterns; 8. Inductive Thinking and Generalization; 9. Declarative Versus Imperative Reasoning 10. Algorithmic Problem Solving11. Recursive Thinking; 12. Mathematical Induction; 13. Why Mathematics?; 14. Curricula Issues; 15. Foundations of Computing-A First Course; 16. Conclusions; Acknowledgements; Appendix A: CSE-113 Foundations of Computer Science I; Appendix B: Butler University, Foundations of Computing I; Appendix C: Sample First Exam for Foundations of Computing I (100 minutes); Appendix D: Representative List Processing Lab Exercises Using Standard ML; Appendix E: Solutions for Problems Cited; References; Author Index; Subject Index; Contents of Volumes in This Series Color Plate Section 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 English Computers Electronic data processing Electronic books Zelkowitz, Marvin V. 1945-) Advances in computers (CKB)954928521846 (DLC)59015761 (OCoLC)269012753 0065-2458 0-12-012165-4

• Localizaciones: 2
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun25979723

Cerrar

monografia Rebiun25979723 https://catalogo.rebiun.org/rebiun/record/Rebiun25979723 m o d | cr -n--------- 060613s2005 ne a ob 001 0 eng d 1-280-63031-0 9786610630318 0-08-045967-6 UPVA 997187455703706 MiAaPQ MiAaPQ MiAaPQ eng 303.4834 510.78 Advances in computers electronic resource] edited by Marvin V. Zelkowitz Amsterdam Boston Elsevier Academic Press c2005 Amsterdam Boston Amsterdam Boston Elsevier Academic Press 1 online resource (471 p.) 1 online resource (471 p.) Text txt computer c online resource cr Advances in computers v. 65 Description based upon print version of record Includes bibliographical references and indexes Front Cover; Advances in Computers; Copyright Page; Contents; Contributors; Preface; Chapter 1. The State of Artificial Intelligence; 1. Introduction; 2. Rule-Basd Systems; 3. Moving Beyond Rules; 4. Intelligent Agents; 5. Genetic Algorithms; 6. Neural Networks; 7. HybridSystems; 8. Conclusions; Acknowledgements; References; Chapter 2. Software Model Checking with SPIN; 1. Introduction; 2. Background; 3. Finite Automata; 4. Temporal Logic; 5. LTL Model Checking; 6. Model Extraction and Abstraction; 7. Perspective; Acknowledgements; References; Chapter 3. Early Cognitive Computer Vision 1. Introduction2. Visual Measurements; 3. Invariance; 4. Natural Image Statistics; 5. Conclusions; References; Chapter 4. Verication and Validation and Articial Intelligence; 1. Introduction; 2. AI Software Can Be Complex; 3. Model-Based AI Systems; 4. The Knowledge Level; 5. AI Software Can Be Nondeterministic; 6. Adaptive AI Systems; 7. Conclusion; Acknowledgements; References; Chapter 5. Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases; 1. Introduction; 2. Representation of Image Content: Feature Extraction 3. Detection of Salient Design Image Elements by Figure-Ground Segregation4. MPEG-7 Description of Design Images; 5. Inference and Learning for Relevance Feedback by Examples; 6. Conclusion and Outlook; Acknowledgements; References; Chapter 6. Defect Analysis: Basic Techniques for Management and Learning; 1. Introduction; 2. Modeling for Quality Management; 3. Monitoring Process Performance; 4. Learning and Improvement; 5. Summary and Conclusions; References; Chapter 7. Function Points; 1. Introduction; 2. Albrecht/IFPUG Function Points; 3. Experience with IFPUG Function Points 4. Mark II Function Points5. Some Other Early Variations; 6. COSMIC; 7. Function Points for Object-Oriented Software; 8. Function Point Standards; 9. Conclusions; Acknowledgements; References; Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education; 1. Introduction; 2. Mystery Novels and John Wooden; 3. Computer Science and Software Engineering; 4. Foundational Mathematics; 5. Models; 6. General Mathematical Reasoning; 7. Patterns, It Is All About Patterns; 8. Inductive Thinking and Generalization; 9. Declarative Versus Imperative Reasoning 10. Algorithmic Problem Solving11. Recursive Thinking; 12. Mathematical Induction; 13. Why Mathematics?; 14. Curricula Issues; 15. Foundations of Computing-A First Course; 16. Conclusions; Acknowledgements; Appendix A: CSE-113 Foundations of Computer Science I; Appendix B: Butler University, Foundations of Computing I; Appendix C: Sample First Exam for Foundations of Computing I (100 minutes); Appendix D: Representative List Processing Lab Exercises Using Standard ML; Appendix E: Solutions for Problems Cited; References; Author Index; Subject Index; Contents of Volumes in This Series Color Plate Section 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 English Computers Electronic data processing Electronic books Zelkowitz, Marvin V. 1945-) Advances in computers (CKB)954928521846 (DLC)59015761 (OCoLC)269012753 0065-2458 0-12-012165-4