Hybrid CEGAR: combining variable hiding and predicate abstraction.

Chao Wang Hyondeuk Kim Aarti Gupta

Published in: ICCAD (2007)

Keyphrases

image processing
digital libraries
databases
neural network
artificial intelligence
computer vision
multiscale
artificial neural networks
multiresolution