PASS: Abstraction Refinement for Infinite Probabilistic Models.
Ernst Moritz HahnHolger HermannsBjörn WachterLijun ZhangPublished in: TACAS (2010)
Keyphrases
- probabilistic model
- graphical models
- conditional random fields
- generative model
- language model
- bayesian inference
- high level
- hidden variables
- latent variables
- topic models
- mixture model
- databases
- refinement process
- expectation maximization
- relational databases
- artificial intelligence
- neural network
- finite sets
- higher order
- pairwise
- bayesian networks
- information systems
- machine learning
- finite dimensional
- probabilistic modeling
- real time