Disjunctive image computation for embedded software verification.
Chao WangZijiang YangFranjo IvancicAarti GuptaPublished in: DATE (2006)
Keyphrases
- single image
- image features
- input image
- image data
- image content
- image processing operations
- image analysis
- template matching
- image classification
- image regions
- multiscale
- image noise
- image structure
- image segmentation
- vector field
- matching process
- image pixels
- image retrieval
- segmentation method
- region of interest
- image database
- image collections
- low level
- pixel values
- keypoints
- edge detection
- test images
- grey level
- embedded image