2179 search results - page 6 / 436 » Symmetry within Solutions |
117
click to vote
TACAS
2005
Springer
15 years 5 months 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...
91
Voted
ISSAC
1995
Springer
15 years 4 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...
101
Voted
WDAG
2001
Springer
2001
Springer
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
15 years 4 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...
87
Voted
ICPR
2006
IEEE
16 years 1 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...
102
Voted
ICCV
2007
IEEE
15 years 6 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...