SAT-Based Image Computation with Application in Reachability Analysis.

Aarti Gupta Zijiang Yang Pranav Ashar Anubhav Gupta

Published in: FMCAD (2000)

Keyphrases

image data
image features
reachability analysis
image retrieval
input image
multiscale
image content
image representation
image classification
high resolution
single image
image segmentation
dynamic programming
image regions
markov decision processes