Sciweavers

Share
AAAI
2011
8 years 1 months ago
Exploiting Problem Symmetries in State-Based Planners
Previous research in Artificial Intelligence has identified the possibility of simplifying planning problems via the identification and exploitation of symmetries. We advance t...
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein
SYMMETRY
2010
109views more  SYMMETRY 2010»
8 years 8 months ago
Asymmetry and Symmetry in the Beauty of Human Faces
: 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...
Dahlia W. Zaidel, Marjan Hessamian
AMAI
2010
Springer
8 years 11 months ago
Efficient approximate verification of B and Z models via symmetry markers
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...
Michael Leuschel, Thierry Massart
SAT
2010
Springer
127views Hardware» more  SAT 2010»
8 years 11 months ago
Symmetry and Satisfiability: An Update
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...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
SAB
2010
Springer
140views Optimization» more  SAB 2010»
8 years 11 months ago
A Model of Symmetry Breaking in Collective Decision-Making
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...
Heiko Hamann, Bernd Meyer, Thomas Schmickl, Karl C...
CORR
2010
Springer
96views Education» more  CORR 2010»
8 years 12 months ago
Parameterized Complexity Results in Symmetry Breaking
Abstract. Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues...
Toby Walsh
BC
2005
92views more  BC 2005»
9 years 1 months ago
Spontaneous symmetry breaking in self-organizing neural fields
Weextendthetheoryofself-organizingneuralfields in order to analyze the joint emergence of topography and feature selectivity in primary visual cortex through spontaneous symmetry b...
Paul C. Bressloff
MP
2008
74views more  MP 2008»
9 years 1 months ago
On the symmetry function of a convex set
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...
Alexandre Belloni, Robert M. Freund
IJRR
2008
242views more  IJRR 2008»
9 years 1 months ago
Bilateral Symmetry Detection for Real-time Robotics Applications
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...
Wai Ho Li, Alan M. Zhang, Lindsay Kleeman
books