Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1.
Federico AschieriStefano BerardiGiovanni BiroloPublished in: CSL (2013)
Keyphrases
- expectation maximization
- image interpretation
- high level
- probabilistic model
- unsupervised learning
- image processing
- maximum likelihood
- natural language
- normalization method
- mixture model
- generative model
- em algorithm
- expert systems
- data sets
- data structure
- image segmentation
- website
- information systems
- learning algorithm
- machine learning
- neural network