A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).
Stefano BerardiUgo de'LiguoroPublished in: CSL (2008)
Keyphrases
- extended abstract
- expectation maximization
- em algorithm
- gaussian mixture model
- probabilistic model
- generative model
- mixture model
- expectation maximisation
- automated theorem proving
- relational calculus
- bayesian framework
- data mining
- unsupervised learning
- information systems
- information retrieval
- expressive power
- k means
- gaussian mixture
- arithmetic operations
- proof procedure
- genetic algorithm