Advances in computers. Vol. 65.
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 develop...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
[Place of publication not identified] :
Academic Press,
2005.
|
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Preface.
- Contributors.
- Chapter 1. The state of artificial intelligence by Adrian A. Hopgood
- Chapter 2. Software model checking with SPIN by Gerard J. Holzmann
- Chapter 3. Early Cognitive Computer Vision by Jan-Mark Geusebroek
- Chapter 4. Verification and Validation and Artificial Intelligence by Tim Menzies and Charles Pecheur
- Chapter 5. Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases by Mark J. Huiskes and Eric J. Pauwels
- Chapter 6. Defect Analysis: Basic Techniques for Management and Learning by David N. Card
- Chapter 7. Function Points by Christopher J. Lokan
- Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education by Peter B. Henderson.