Automata-driven efficient subterm unification.

R. Ramesh I. V. Ramakrishnan R. C. Sekar

Published in: Theor. Comput. Sci. (2001)

Keyphrases

computer vision
decision making
data driven
database
genetic algorithm
image processing
knowledge base
search algorithm
multiresolution
higher order
computationally efficient
cellular automata
cost effective