Portada

METHODS AND PROCEDURES FOR THE VERIFICATION AND VALIDATION O IBD

SPRINGER
10 / 2010
9781441939357
Inglés

Sinopse

Background of the Verification and Validation of Neural Networks.- Augmentation of Current Verification and Validation Practices.- Risk and Hazard Analysis for Neural Network Systems.- Validation of Neural Networks Via Taxonomic Evaluation.- Stability Properties of Neural Networks.- Neural Network Verification.- Neural Network Visualization Techniques.- Rule Extraction as a Formal Method.- Automated Test Generation for Testing Neural Network Systems.- Run-Time Assessment of Neural Network Control Systems.

PVP
206,47