A Verified Compiler for Probability Density Functions.
Manuel EberlJohannes HölzlTobias NipkowPublished in: CoRR (2017)
Keyphrases
- probability density function
- density function
- probability distribution
- density estimation
- mixture model
- kullback leibler divergence
- gaussian mixture
- gaussian mixture model
- parzen window
- bayesian framework
- kernel density estimation
- higher order statistics
- em algorithm
- statistical methods
- bayesian formulation
- expectation maximization
- generalized gaussian
- neural network
- generative model
- pixel intensities
- maximum likelihood
- probabilistic model
- pairwise
- feature selection
- computer vision