Advances in Computers, Volume 65

Volume 65, 2005

isbn 0-12-012165-4

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