Bloom Filters in Probabilistic Verification.
Peter C. DillingerPanagiotis ManoliosPublished in: FMCAD (2004)
Keyphrases
- bloom filter
- data structure
- space efficient
- bayesian networks
- record linkage
- data driven
- model checking
- generative model
- neural network
- probabilistic model
- formal verification
- conditional probabilities
- probabilistic approaches
- database
- verification method
- probabilistic logic
- probabilistic reasoning
- context sensitive
- index structure
- case study
- databases