Automatic Modular Abstractions for Template Numerical Constraints

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

high level
constrained optimization
semi automatic
fully automatic
template matching
constraint satisfaction
sensitivity analysis
image processing
three dimensional
data structure
search algorithm
data driven