Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories.

Christophe Ringeissen

Published in: Inf. Comput. (1996)

Keyphrases

orders of magnitude
data structure
databases
learning algorithm
artificial intelligence
decision making
computational complexity
pattern matching
optimization problems
feature points
image matching
stereo matching
graph matching