A New Scheme for Memory-Efficient Probabilistic Verification.
Ulrich SternDavid L. DillPublished in: FORTE (1996)
Keyphrases
- memory efficient
- generative model
- information theoretic
- external memory
- iterative deepening
- probabilistic reasoning
- multiple sequence alignment
- bayesian networks
- probabilistic model
- uncertain data
- model checking
- learning scheme
- representation scheme
- probabilistic logic
- detection scheme
- classification scheme
- signature verification