Related Books

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems
Language: en
Pages: 12
Authors: Charles Pecheur
Categories: Computer software
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

The long-term future of space exploration at NASA is dependent on the full exploitation of autonomous and adaptive systems : careful monitoring of missions from
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Language: en
Pages: 280
Authors: Brian J. Taylor
Categories: Computers
Type: BOOK - Published: 2006-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of
AI Magazine
Language: en
Pages: 560
Authors:
Categories: Artificial intelligence
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Monthly Catalog of United States Government Publications
Language: en
Pages: 496
Authors:
Categories: Government publications
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK

Agent Technology from a Formal Perspective
Language: en
Pages: 359
Authors: Christopher Rouff
Categories: Mathematics
Type: BOOK - Published: 2006-01-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its import