AAAI
2011
13 years 13 days ago
2011
Previous research in Artificial Intelligence has identified the possibility of simplifying planning problems via the identification and exploitation of symmetries. We advance t...
SYMMETRY
2010
13 years 7 months ago
2010
: The emphasis in the published literature has mostly been on symmetry as the critical source for beauty judgment. In fact, both symmetry and asymmetry serve as highly aesthetic so...
SIAMMA
2010
13 years 7 months ago
2010
Let P be an r
AMAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
SAT
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
SAB
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues...
BC
2005
14 years 10 days ago
2005
Weextendthetheoryofself-organizingneuralfields in order to analyze the joint emergence of topography and feature selectivity in primary visual cortex through spontaneous symmetry b...
MP
2008
14 years 12 days ago
2008
Abstract. We attempt a broad exploration of properties and connections between the symmetry function of a convex set S IRn and other arenas of convexity including convex functions...
IJRR
2008
14 years 13 days ago
2008
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...