Guidance for the verification and validation of neural networks

Guidance for the verification and validation of neural networks

Saved in:

Bibliographic Details
Main Author:	Pullum, Laura L.
Other Authors:	Taylor, Brian J., Darrah, Majorie A.
Format:	Unknown
Published:	Hoboken, NJ IEEE Computer Society 2007
Subjects:	Computer programs > Verification Neural networks (Computer science) Computer programs > Validation
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Verification and validation of rule-based expert systems
by: Smith, Suzanne 1953-
Published: (1993)

Verification and validation in systems engineering assessing UML/SysML design models
Published: (2010)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Validating and verifying knowledge-based systems

Software reviews and audit handbook
by: Hollocker, Charles P
Published: (1990)

Neural networks computers with intuition
by: Brunak, Soren
Published: (1990)

Foundations of neural networks
by: Khanna, Tarun
Published: (1990)

Neural networks implementing associative memory models in neurocomputers
by: Miller, Richard Kendall 1946-
Published: (1990)

Neural networks
by: Abdi, Herve
Published: (1999)

Systems and software verification model-checking techniques and tools
Published: (2001)

Introduction to neural networks design, theory, and applications
Published: (1994)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Program verification
by: Francez, Nissim
Published: (1992)

Verification of object-oriented software the KeY approach
Published: (2007)

Neural networks an introduction
by: Muller, Berndt
Published: (1995)

Neural networks advances and applications
Published: (1991)

Neural networks a tutorial
by: Chester, Michael
Published: (1993)

Neural networks theory and applications
Published: (1991)

Neural networks current applications
Published: (1992)

Neural networks algorithms and applications
by: Rao, M. Ananda
Published: (2003)

Applying neural networks a practical guide
by: Swingler, Kevin
Published: (1996)

Understanding neural networks computer explorations :a workbook in two volumes with software for the Macintosh and PC compatibles
by: Caudill, Maureen
Published: (1992)

Understanding Neural Networks Computer Explorations : A Workbook In Two Volumes With Software For The Macintosh And PC Compatibles
by: Caudill, Maureen
Published: (1992)

Neural networks computational models and applications
by: Tang, Huajin
Published: (2007)

Neural networks a comprehensive foundation
by: Haykin, Simon S. 1931-
Published: (1994)

Neural networks a comprehensive foundation
by: Haykin, Simon 1931-
Published: (1999)

Neural networks a systematic introduction
by: Rojas, Raul 1955-
Published: (1996)

Neural networks concepts, applications, and implementations
Published: (1991)

NEURAL NETWORKS A CLASSROOM APPROACH
by: Kumar, Satish
Published: (2004)

Neural networks concepts, applications, and implementations
Published: (1991)

Neural networks theory
by: Galushkin, A. I Aleksandr Ivanovich
Published: (2007)

Neural network computing
by: Bharath, Ramachandran
Published: (1994)

The essence of neural networks
by: Callan, Robert
Published: (1999)

Digital neural networks
by: Kung, Sun Yuan
Published: (1993)

Artificial neural networks
by: Schalkoff, Robert J
Published: (1997)

Artificial Neural Networks
by: Yegnanarayana, B.
Published: (1999)