Advances in Computers, Volume 65

Volume 65, 2005

• Adrian A. Hopgood: The state of artificial intelligence. 3-77 BibTeX
• Gerard J. Holzmann: Software model checking with SPIN. 78-109 BibTeX
• Jan-Mark Geusebroek: Early Cognitive Computer Vision. 110-153 BibTeX
• Tim Menzies, Charles Pecheur: Verification and Validation and Artificial Intelligence. 154-203 BibTeX
• Mark J. Huiskes, Eric J. Pauwels: Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases. 204-259 BibTeX
• David N. Card: Defect Analysis: Basic Techniques for Management and Learning. 260-297 BibTeX
• Christopher J. Lokan: Function Points. 298-349 BibTeX
• Peter B. Henderson: The Role of Mathematics in Computer Science and Software Engineering Education. 350-396 BibTeX