A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.

Mark E. Stickel

Published in: J. Autom. Reason. (1987)

Keyphrases

computational cost
similarity measure
machine learning methods
real time
information systems
image segmentation
high level
low level
benchmark datasets
cross validation
methods require