Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
Aarti GuptaAnubhav GuptaZijiang YangPranav AsharPublished in: DAC (2001)
Keyphrases
- image data
- multiscale
- image analysis
- template matching
- image features
- single image
- image segmentation
- image retrieval
- image content
- input image
- image classification
- low level
- test images
- bounding box
- region of interest
- pixel values
- integral image
- lighting conditions
- road signs
- boolean satisfiability
- likelihood ratio test
- hough transform
- image regions
- detection algorithm
- partial occlusion
- satisfiability problem
- image representation
- feature points
- edge detection
- object detection
- high resolution
- computer vision