Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1.
Federico AschieriPublished in: Math. Struct. Comput. Sci. (2014)
Keyphrases
- higher order
- em algorithm
- expectation maximization
- generative model
- user friendly
- user interaction
- virtual reality
- e learning
- probabilistic model
- maximum likelihood
- unsupervised learning
- arithmetic operations
- neural network
- bayesian framework
- gaussian mixture model
- computer graphics
- parameter estimation
- mixture model
- image segmentation
- case study
- data mining