Login / Signup
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