439 search results - page 9 / 88 » Choiceless Computation and Symmetry |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
SSPR
2004
Springer
15 years 3 months ago
2004
Springer
Many attempts have been made to represent families of 2D shapes in a simpler way. These approaches lead to so-called structures as the Symmetry Set (SS) and a subset of it, the Med...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a new approach to 3D reconstruction of piecewise planar objects based on two image regularities, connectivity and perspective symmetry. First, we formulate the...
72
Voted
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Saliency is an important perceptual cue that occurs at different scales of resolution. Important attributes of saliency are symmetry, continuity, and closure. Detection of these a...
CVPR
2006
IEEE
15 years 3 months ago
2006
IEEE
Many natural and man-made structures have a boundary that shows certain level of bilateral symmetry, a property that has been used to solve many computer-vision tasks. In this pap...