Some clean reusable math ...
Theorem proving
Generic optimization methods
Probability models, Bayes’ Theorem
Expectation-Maximization
Dynamic programming
Maxent models
Finite-state machines
Previous slide
Next slide
Back to first slide
View graphic version