Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Author :
Publisher : Springer Science & Business Media
Total Pages : 280
Release :
ISBN-10 : 9780387294858
ISBN-13 : 0387294856
Rating : 4/5 (856 Downloads)

Book Synopsis Methods and Procedures for the Verification and Validation of Artificial Neural Networks by : Brian J. Taylor

Download or read book Methods and Procedures for the Verification and Validation of Artificial Neural Networks written by Brian J. Taylor and published by Springer Science & Business Media. This book was released on 2006-03-20 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.


Methods and Procedures for the Verification and Validation of Artificial Neural Networks Related Books

Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Language: en
Pages: 300
Authors: Brian J. Taylor
Categories: Computers
Type: BOOK - Published: 2006 - 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
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
Guidance for the Verification and Validation of Neural Networks
Language: en
Pages: 146
Authors: Laura L. Pullum
Categories: Computers
Type: BOOK - Published: 2007-03-09 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This book provides guidance on the verification and validation of neural networks/adaptive systems. Considering every process, activity, and task in the lifecyc
Computer Aided Verification
Language: en
Pages: 680
Authors: Isil Dillig
Categories: Computers
Type: BOOK - Published: 2019-07-12 - Publisher: Springer

DOWNLOAD EBOOK

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, C
Artificial Neural Networks for Civil Engineers
Language: en
Pages: 300
Authors: Ian Flood
Categories: Technology & Engineering
Type: BOOK - Published: 1998-01-01 - Publisher: ASCE Publications

DOWNLOAD EBOOK

Sponsored by the Committee on Expert Systems and Artificial Intelligence of the Technical Council on Computer Practices of ASCE. This report illustrates advance