Fast Subsumption Algorithms.

Georg Gottlob Alexander Leitsch

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

orders of magnitude
computational complexity
computationally efficient
computational cost
learning algorithm
case study
semi supervised
times faster
computer vision
database systems
significant improvement
worst case
optimization problems
theoretical analysis
recently developed
convergence rate