Approximate counting in SMT and value estimation for probabilistic programs.
Dmitry ChistikovRayna DimitrovaRupak MajumdarPublished in: Acta Informatica (2017)
Keyphrases
- continuous valued
- probabilistic model
- exact and approximate
- probabilistic logic
- bayesian networks
- accurate estimation
- information theoretic
- robust estimation
- context sensitive
- parameter estimation
- case study
- conditional probabilities
- posterior probability
- data sets
- generative model
- image segmentation
- information retrieval