Certified Size-Change Termination.

Alexander Krauss

Published in: CADE (2007)

Keyphrases

information retrieval
window size
scales linearly
machine learning
learning algorithm
artificial intelligence
image processing
search algorithm
information technology
special case
small size
fixed size
technical support
term rewriting
grow exponentially