Constraints in one-to-many concretization for abstraction refinement.

Kuntal Nanshi Fabio Somenzi

Published in: DAC (2009)

Keyphrases

constrained optimization
real world
information retrieval
computer vision
web services
high level
multiscale
semi supervised
global constraints
linear constraints
data abstraction