Automatic Proofs of Termination With Elementary Interpretations.

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

data driven
fully automatic
data model
feature selection
decision trees
multiscale
data sets
search engine
computer vision
multimedia
artificial neural networks
multiresolution
semi automatic
theorem proving