Interpolant Generation for UTVPI.

Alessandro Cimatti Alberto Griggio Roberto Sebastiani

Published in: CADE (2009)

Keyphrases

artificial intelligence
high dimensional
real world
special case
generation process
decision making
support vector
image analysis
query processing
domain knowledge
wireless sensor networks