Method and apparatus for randomized verification of neural nets

Details Method and apparatus for randomized verification of neural nets Method and apparatus for randomized verification of neural nets

2011-05-03

2011-05-03

Sparks, Donald (Department: 2129)

Data processing: artificial intelligence

Neural network

Learning task

Reexamination Certificate

active

07937343

ABSTRACT:
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.

REFERENCES:
patent: 6035295 (2000-03-01), Klein
patent: 6473746 (2002-10-01), Zakrzewski
Zakrzewski; ‘Randomized approach to verification of neural networks’: 2004, IEEE, 0-7803-8359, pp. 2819-2824.
James O. Berger, Statistical Decision Theory and Bayesian Analysis—Second Edition, 1985, Springer-Verlag New York, Inc.
Russel E. Caflisch, Monte Carlo and quasi-Monte Carlo methods, 1998, Acta Numerica.
George S. Fishman, Monte Carlo: Concepts, Algorithms, and Applications, 1996, Springer-Verlag New York, Inc.
Jun S. Liu, Monte Carlo Strategies in Scientific Computing, 2001, Springer-Verlag New York, Inc.
Rajeev Motwani and Prabhakar Raghavan, Randomized Algorithms, 1995, Cambridge University Press.
Peyton Z. Peebles, Jr., Probability, Random Variables, and Random Signal Principles—Third Edition, 1993, McGraw-Hill, Inc.
M. Vidyasagar, Statistical Learning Theory and Randomized Algorithms for Control, Dec. 1998, IEEE Control Systems.
Eric W. Weisstein, Hypersphere, MathWorld—A Wolfram Web Resource, http://mathworld.wolfram.com/Hypersphere.html.
Radoslaw Romuald Zakrzewski, Verification of a Trained Neural Network Accuracy, 2001, IEEE.

Affiliated with

Also associated with

Rating

Method and apparatus for randomized verification of neural nets does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for randomized verification of neural nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for randomized verification of neural nets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2624957