Method and apparatus for randomized verification of neural nets

Described are techniques for using statistical analysis to reduce the number of samples required in accordance with statistical analysis confidence intervals to verify correctness of a component. These techniques may be used in verification of a neural network or other hardware or software component...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	ZAKRZEWSKI RADOSLAW ROMUALD
Format:	Patent
Sprache:	eng
Schlagworte:	ANALOGUE COMPUTERS CALCULATING COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING OPTICAL COMPUTING DEVICES PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Described are techniques for using statistical analysis to reduce the number of samples required in accordance with statistical analysis confidence intervals to verify correctness of a component. These techniques may be used in verification of a neural network or other hardware or software component.