Practical Methods for Proving Program Termination.

Michael Colón Henny Sipma

Published in: CAV (2002)

Keyphrases

benchmark datasets
data sets
databases
significant improvement
practical problems
database
empirical studies
real world
machine learning
information systems
data structure
high dimensional
cross validation
computationally expensive