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

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

0387282882

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stability Properties of Neural Networks

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

10.1007/0-387-29485-6_5 ◽

2006 ◽

pp. 97-108

Author(s):

Edgar J. Fuller ◽

Sampath K. Yerramalla ◽

Bojan Cukic

Keyword(s):

Neural Networks ◽

Stability Properties

Download Full-text

Neural Network Verification

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

10.1007/0-387-29485-6_6 ◽

2006 ◽

pp. 109-161 ◽

Author(s):

James T. Smith

Keyword(s):

Neural Network ◽

Network Verification

Download Full-text

Augmentation of Current Verification and Validation Practices

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

10.1007/0-387-29485-6_2 ◽

2006 ◽

pp. 13-31 ◽

Author(s):

Kareem Ammar ◽

Laura Pullum ◽

Brian J. Taylor

Keyword(s):

Verification And Validation

Download Full-text

Risk and Hazard Analysis for Neural Network Systems

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

10.1007/0-387-29485-6_3 ◽

2006 ◽

pp. 33-49

Author(s):

Laura Pullum ◽

Brian J. Taylor

Keyword(s):

Neural Network ◽

Hazard Analysis ◽

Network Systems

Download Full-text

Neural Network Visualization Techniques

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

10.1007/0-387-29485-6_7 ◽

2006 ◽

pp. 163-197 ◽

Author(s):

Marjorie Darrah

Keyword(s):

Neural Network ◽

Network Visualization ◽

Visualization Techniques

Download Full-text

Rule Extraction as a Formal Method

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

10.1007/0-387-29485-6_8 ◽

2006 ◽

pp. 199-227 ◽

Author(s):

Marjorie Darrah ◽

Brian J. Taylor

Keyword(s):

Formal Method ◽

Rule Extraction

Download Full-text

Run-Time Assessment of Neural Network Control Systems

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

10.1007/0-387-29485-6_10 ◽

2006 ◽

pp. 257-269

Author(s):

Bojan Cukic ◽

Edgar Fuller ◽

Martin Mladenovski ◽

Sampath Yerramalla

Keyword(s):

Neural Network ◽

Control Systems ◽

Network Control ◽

Neural Network Control ◽

Network Control Systems ◽

Run Time ◽

Time Assessment

Download Full-text

Validation of Neural Networks Via Taxonomic Evaluation

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

10.1007/0-387-29485-6_4 ◽

2006 ◽

pp. 51-95 ◽

Author(s):

Brian J. Taylor ◽

James T. Smith

Keyword(s):

Neural Networks ◽

Taxonomic Evaluation

Download Full-text

Background of the Verification and Validation of Neural Networks

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

10.1007/0-387-29485-6_1 ◽

2006 ◽

pp. 1-12

Author(s):

Spiro T. Skias

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text

Automated Test Generation for Testing Neural Network Systems

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

10.1007/0-387-29485-6_9 ◽

2006 ◽

pp. 229-256

Author(s):

Brian J. Taylor

Keyword(s):

Neural Network ◽

Test Generation ◽

Network Systems ◽

Automated Test Generation ◽

Download Full-text