Explicit-Value Analysis Based on CEGAR and Interpolation

Dirk Beyer Stefan Löwe

Published in: CoRR (2012)

Keyphrases

databases
wide range
image analysis
statistical analysis
artificial intelligence
case study
bayesian networks
special case
search engine
web pages
three dimensional
color images