Sciweavers

439 search results - page 1 / 88
» Choiceless Computation and Symmetry
Sort
View
BIRTHDAY
2010
Springer
13 years 6 months ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
CP
2005
Springer
13 years 10 months ago
Automatic Detection of Variable and Value Symmetries
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
Jean-Francois Puget
ECCV
2006
Springer
14 years 6 months ago
Detecting Symmetry and Symmetric Constellations of Features
A novel and efficient method is presented for grouping feature points on the basis of their underlying symmetry and characterising the symmetries present in an image. We show how s...
Gareth Loy, Jan-Olof Eklundh
SAT
2007
Springer
181views Hardware» more  SAT 2007»
13 years 11 months ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
ICCV
2003
IEEE
14 years 6 months ago
Geometric Segmentation of Perspective Images Based on Symmetry Groups
Symmetry is an effective geometric cue to facilitate conventional segmentation techniques on images of man-made environment. Based on three fundamental principles that summarize t...
Allen Y. Yang, Shankar Rao, Kun Huang, Wei Hong, Y...