Refining abstract interpretations.

Bhargav S. Gulavani Supratik Chakraborty Aditya V. Nori Sriram K. Rajamani

Published in: Inf. Process. Lett. (2010)

Keyphrases

multiscale
low level
database
data sets
social networks
website
similarity measure
data structure
search algorithm
computational complexity
expert systems
image retrieval
data model
management system
higher level