Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.
Federico AschieriStefano BerardiPublished in: TLCA (2009)
Keyphrases
- interactive learning
- interactive video
- expectation maximization
- unsupervised learning
- em algorithm
- image segmentation
- image interpretation
- computer technology
- generative model
- computational intelligence
- object recognition
- high level
- databases
- parameter estimation
- gaussian mixture model
- expert systems
- bayesian networks
- semantic interpretation
- expectation maximisation