Correct Hardware Design and Verification Methods, Laurence Pierre; Thomas Kropf

Автор: Brian J. Taylor
Название: Methods and Procedures for the Verification and Validation of Artificial Neural Networks
ISBN: 1441939350 ISBN-13(EAN): 9781441939357
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.