Matching typed and untyped realizability.

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

matching algorithm
higher order
matching process
shape matching
template matching
image matching
feature points
affine invariant
database
graph matching
pattern recognition
multi agent
image processing
knowledge base
computer vision
machine learning
databases
data sets