Argument-Bounded Algorithms as a Basis for Automated Termination Proofs.

Christoph Walther

Published in: CADE (1988)

Keyphrases

computational cost
theoretical analysis
computationally efficient
recently developed
computational complexity
optimization problems
learning algorithm
computational efficiency
data sets
social networks
image segmentation
significant improvement
orders of magnitude
classification algorithm