Deriving Probability Density Functions from Probabilistic Functional Programs.
Sooraj BhatJohannes BorgströmAndrew D. GordonClaudio V. RussoPublished in: TACAS (2013)
Keyphrases
- probability density function
- functional programs
- posterior probability
- term rewriting systems
- density function
- probability distribution
- density estimation
- bayesian networks
- em algorithm
- mixture model
- gaussian mixture model
- functional language
- probabilistic model
- statistical methods
- expectation maximization
- logic programs
- bayesian framework
- generative model
- general purpose
- databases
- conditional probabilities
- uncertain data
- database systems
- data mining