Size-Change Termination and Bound Analysis.

Published in: FLOPS (2006)

Keyphrases

machine learning
case study
data sets
computer vision
information systems
multi agent systems
data analysis
quantitative analysis
automatic analysis