A type theory for probability density functions.
Sooraj BhatAshish AgarwalRichard W. VuducAlexander G. GrayPublished in: POPL (2012)
Keyphrases
- probability density function
- density function
- probability distribution
- density estimation
- kernel density estimation
- gaussian mixture
- parzen window
- bayesian framework
- kullback leibler divergence
- computer vision
- image processing
- active learning
- expectation maximization
- gaussian mixture model
- information theory
- texture descriptors