Improved probabilistic verification by hash compaction.

Ulrich Stern David L. Dill

Published in: CHARME (1995)

Keyphrases

uncertain data
hash functions
real time
bayesian networks
data structure
nearest neighbor
generative model
image processing
case study
data driven
improved algorithm
formal analysis