A Verified Compiler for Probability Density Functions.
Manuel EberlJohannes HölzlTobias NipkowPublished in: ESOP (2015)
Keyphrases
- probability density function
- density function
- kullback leibler divergence
- probability distribution
- density estimation
- kernel density estimation
- mixture model
- bayesian framework
- em algorithm
- gaussian mixture
- gaussian mixture model
- higher order statistics
- statistical methods
- expectation maximization
- low dimensional
- class conditional
- generalized gaussian
- parzen window
- bayesian formulation
- text classification
- texture descriptors
- probability distribution functions
- pattern classification
- frequent patterns
- unsupervised learning
- higher order