Dummy Elimination: Making Termination Easier.

Maria C. F. Ferreira Hans Zantema

Published in: FCT (1995)

Keyphrases

real world
data sets
data mining
machine learning
website
face recognition
objective function
data analysis
pairwise
motion estimation
active rules
term rewriting