A note on probabilistically verifying integer and polynomial products.

Michael Kaminski

Published in: J. ACM (1989)

Keyphrases

model checking
low order
databases
decision making
real time
neural network
machine learning
web services
bayesian networks
floating point
product design
onset detection