Property testing is a rapidly growing field of research. Typically, a property testing algorithm proceeds by quickly determining whether an input can satisfy some condition, under the assumption that most inputs do not satisfy it. If the input is "far from satisfying the condition, the algorithm is guaranteed to reject it with high probability. Applying this paradigm to image detection is desirable since images are large objects and a lot of time can be saved by quickly rejecting images which are "far from satisfying a certain condition the user is interested in. Further, typically most inputs are, indeed, "far from the sought images. We demonstrate this by analyzing the problem of deciding whether a binary image can be partitioned according to a template represented by a rectangular grid, and introduce a quick "rejector, which tests an image extracted from the input image, but whose size, as well as the time required to construct it, are constants which are independent of the input image size. With high probability, the rejector dismisses the inputs which are "far from the template.
|Number of pages||10|
|Journal||IEEE Transactions on Pattern Analysis and Machine Intelligence|
|State||Published - 2011|
Bibliographical noteFunding Information:
This paper greatly benefited from the comments and corrections of four anonymous reviewers. This research was supported by Israel Science Foundation grants 1011/06 and 1220/04, and Israel Ministry of Science grant 3/3422.
- Property testing
- image partitioning.
ASJC Scopus subject areas
- Computer Vision and Pattern Recognition
- Computational Theory and Mathematics
- Artificial Intelligence
- Applied Mathematics