Disjunctive image computation for software verification.
Chao WangZijiang YangFranjo IvancicAarti GuptaPublished in: ACM Trans. Design Autom. Electr. Syst. (2007)
Keyphrases
- image data
- image content
- multiscale
- image features
- input image
- vector field
- image analysis
- edge detection
- image segmentation
- image representation
- natural images
- feature points
- test images
- template matching
- image classification
- pixel values
- single image
- image retrieval
- segmentation method
- image collections
- image structure
- similarity measure
- spatial information
- hough transform
- high resolution
- image reconstruction
- keypoints
- image restoration
- medical images
- region of interest
- face images
- image database
- low level
- image pixels