2179 search results - page 6 / 436 » Symmetry within Solutions |
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
ISSAC
1995
Springer
13 years 11 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
WDAG
2001
Springer
2001
Springer
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
13 years 11 months ago
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Face is a perceptually symmetric object; however, it often appears not so in captured image due to the rotation in depth within the 3D space. In this paper, we explore the invaria...
ICCV
2007
IEEE
14 years 1 months ago
2007
IEEE
Symmetry and self-similarity is the cornerstone of Nature, exhibiting itself through the shapes of natural creations and ubiquitous laws of physics. Since many natural objects are...