Ordinal Arithmetic: Algorithms and Mechanization.

Panagiotis Manolios Daron Vroon

Published in: J. Autom. Reason. (2005)

Keyphrases

orders of magnitude
learning algorithm
theoretical analysis
times faster
image segmentation
search engine
computational complexity
significant improvement
computational cost
worst case
optimization problems
machine learning algorithms