Matching concepts across HOL libraries.

Thibault Gauthier Cezary Kaliszyk

Published in: CoRR (2014)

Keyphrases

ontology matching
matching algorithm
graph matching
multimedia
affine invariant
feature points
keypoints
image matching
digital libraries
computer vision
higher order
real time
case study
shape matching
matching process
information retrieval
feature matching
formal methods
machine learning