Narrowing Operators on Template Abstract Domains.

Gianluca Amato Simone Di Nardo Di Maio Maria Chiara Meo Francesca Scozzari

Published in: FM (2015)

Keyphrases

template matching
application domains
databases
high level
matching algorithm
real world
data structure
higher level
blocks world
morphological operators
cross domain
building blocks
image registration
information technology
search algorithm
similarity measure
clustering algorithm
social networks