Scalable Formal Machine Models.

Published in: APLAS (2012)

Keyphrases

probabilistic model
machine learning algorithms
formal language
machine learning
decision making
support vector
lower bound
graphical models
statistical model
classification models