Approximating Predicate Images for Bit-Vector Logic.
Daniel KroeningNatasha SharyginaPublished in: TACAS (2006)
Keyphrases
- bit vector
- image data
- three dimensional
- image retrieval
- ground truth
- image database
- input image
- test images
- image analysis
- image features
- image classification
- image pixels
- image collections
- image matching
- image regions
- image annotation
- quad trees
- image processing
- segmentation method
- edge detection
- fully automatic
- image compression
- region of interest
- lighting conditions
- small number
- image structure
- image registration
- image processing algorithms
- multi valued
- original images
- object recognition
- similarity measure