On Automating Inductive and Non-inductive Termination Methods.

Fairouz Kamareddine François Monin

Published in: ASIAN (1999)

Keyphrases

preprocessing
database
similarity measure
significant improvement
computational cost
empirical studies
inductive learning
real time
clustering algorithm
pairwise
knowledge representation
optimization methods
functional programs