Guidance for the verification and validation of neural networks

Guidance for the verification and validation of neural networks

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pullum, Laura L. (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Los Alamitos, Calif. IEEE Computer Society c2007
Schlagworte:	Réseaux neuronaux (Informatique) Logiciels / Validation Logiciels / Vérification Artificial intelligence Computer software / Validation Computer software / Verification Neural networks (Computer science) Künstliche Intelligenz Richtigkeit von Ergebnissen Verifikation Neuronales Netz
Online-Zugang:	DE-861 DE-473 DE-573 DE-92 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Guidance for the verification and validation of neural networks
von: Pullum, Laura L., et al.
Veröffentlicht: (2007)

The software audit guide
von: Helgeson, John W. 1945-
Veröffentlicht: (2009)

Validation of chromatography data systems meeting business and regulatory requirements
von: McDowall, R. D.
Veröffentlicht: (2005)

Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Veröffentlicht: (2006)

Software verification and validation for practitioners and managers
von: Rakitin, Steven R.
Veröffentlicht: (2001)

Verification, validation and testing in software engineering
Veröffentlicht: (2007)

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; proceedings
Veröffentlicht: (2000)

Computer aided verification 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings
Veröffentlicht: (2001)

Co-verification of hardware and software for ARM SoC design
von: Andrews, Jason R.
Veröffentlicht: (2005)

Co-verification of hardware and software for ARM SoC design
von: Andrews, Jason R.
Veröffentlicht: (2005)

Second Workshop on Software Testing, Verification, and Analysis proceedings ; 19 - 21 July 1988, Banff, Canada
Veröffentlicht: (1988)

Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings
Veröffentlicht: (2004)

Engineering dependable software systems
Veröffentlicht: (2013)

Pascal compiler validation
Veröffentlicht: (1983)

Specification by example how successful teams deliver the right software
Veröffentlicht: (2012)

Explore it! Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und fehler aufdecken
von: Hendrickson, Elisabeth
Veröffentlicht: (2014)

Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings
Veröffentlicht: (1999)

Software engineering concepts
von: Fairley, Richard E.
Veröffentlicht: (1985)

Guide to advanced software testing = Advanced software testing
von: Hass, Anne Mette Jonassen
Veröffentlicht: (2008)

Program verification fundamental issues in computer science
Veröffentlicht: (2014)

Medical device software verification, validation and compliance
von: Vogel, David A.
Veröffentlicht: (2011)

Validating and verifying knowledge-based systems
Veröffentlicht: (1991)

Artificial intelligence methods in software testing
Veröffentlicht: (2004)

New Trends in Software Methodologies, Tools and Techniques Proceedings of the Tenth SoMeT_11 = SoMeT_11
Veröffentlicht: (2011)

Artificial neural networks, 2 proceedings of the 1992 International Conference on Artificial Neural Networks (ICANN-92), Brighton, United Kingdom, 4-7 September 1992
Veröffentlicht: (1992)

Concurrency verification introduction to compositional and noncompositional methods
Veröffentlicht: (2010)

Concurrency verification introduction to compositional and noncompositional methods
Veröffentlicht: (2001)

Verification and validation for quality of UML 2.0 models
von: Unhelkar, Bhuvan
Veröffentlicht: (2005)

Artificial neural networks proceedings of the 1991 International Conference on Artificial Neural Networks (ICANN-91), Espoo, Finland, 24-28 June 1991
Veröffentlicht: (1991)

Fuzzy neural network theory and application
von: Liu, Puyin
Veröffentlicht: (2004)

Software safety and security tools for analysis and verification
Veröffentlicht: (2012)

Formal verification of Simulink/Stateflow diagrams a deductive approach
von: Zhan, Naijun, et al.
Veröffentlicht: (2017)

Program construction and verification
von: Backhouse, Roland C. 1948-
Veröffentlicht: (1986)

Software and systems safety specification and verification
Veröffentlicht: (2011)

The foundations of program verification
von: Loeckx, Jacques, et al.
Veröffentlicht: (1987)

Debugging at the electronic system level
von: Rogin, Frank
Veröffentlicht: (2010)

Time for verification essays in memory of Amir Pnueli
Veröffentlicht: (2010)

Robot framework test automation
von: Bisht, Sumit
Veröffentlicht: (2013)

Partial order methods in verification DIMACS workshop July 24 - 26, 1996
Veröffentlicht: (1997)

Program verification
von: Francez, Nissim
Veröffentlicht: (1992)