Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Federico AschieriStefano BerardiPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- interactive learning
- expectation maximization
- em algorithm
- interactive video
- set theory
- probabilistic model
- maximum likelihood
- arithmetic operations
- generative model
- computer technology
- expectation maximisation
- data mining
- gaussian mixture model
- bayesian framework
- mixture model
- image segmentation
- genetic algorithm
- information retrieval
- databases