Critical Pair Criteria for Completion.

Leo Bachmair Nachum Dershowitz

Published in: J. Symb. Comput. (1988)

Keyphrases

pairwise
computer vision
selection criteria
real world
learning algorithm
artificial intelligence
video sequences
pattern recognition
information technology
multi objective
evaluation criteria
multi criteria