Proving Theorems with the Modification Method.

Published in: SIAM J. Comput. (1975)

Keyphrases

theoretical analysis
main contribution
significant improvement
support vector machine svm
error rate
experimental study
segmentation method
high precision
prior knowledge
computational cost
learning algorithm
decision trees
cost function
probabilistic model
classification accuracy
optimization algorithm