Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube.
Fedor PartPublished in: CoRR (2022)
Keyphrases
- lower bound
- image data
- high resolution
- input image
- image content
- single image
- multiscale
- image analysis
- image pixels
- image features
- region of interest
- edge map
- spatial filters
- image matching
- image regions
- image segmentation
- upper bound
- image retrieval
- segmentation method
- lower resolution
- image representation
- image resolution
- higher resolution
- edge detection
- maximum a posterior
- segmentation algorithm
- map estimation
- polynomial approximation
- branch and bound
- maximum a posteriori
- low resolution
- markov random field
- multi dimensional
- low level
- objective function
- similarity measure