Lazy Abstraction for Size-Change Termination.

Michael Codish Carsten Fuhs Jürgen Giesl Peter Schneider-Kamp

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

high level
computer vision
decision making
multimedia
decision trees
space complexity
scales linearly