A Verified Compiler for Probability Density Functions.
Manuel EberlJohannes HölzlTobias NipkowPublished in: Arch. Formal Proofs (2014)
Keyphrases
- probability density function
- density estimation
- density function
- probability distribution
- kullback leibler divergence
- bayesian framework
- generalized gaussian
- parzen window
- gaussian mixture
- gaussian mixture model
- higher order statistics
- statistical methods
- mixture model
- expectation maximization
- distance function
- texture descriptors
- kernel density estimation
- bayesian formulation
- probability distribution functions
- em algorithm
- bayesian networks
- machine learning