219 search results - page 23 / 44 » Symmetries of Symmetry Breaking Constraints |
SIAMCO
2002
13 years 9 months ago
2002
CP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
BMVC
2002
14 years 16 days ago
2002
We address the 3D reconstruction of scenes in which some planarity, collinearity, symmetry and other geometric properties are known
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
CADE
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...