64 search results - page 13 / 13 » Symmetry and Reduced Symmetry in Model Checking |
JNS
2011
13 years 8 days ago
2011
A 3D pendulum consists of a rigid body, supported at a fixed pivot, with three rotational degrees of freedom. The pendulum is acted on by a gravitational force. Symmetry assumptio...
ECCV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
AFRIGRAPH
2010
ACM
13 years 9 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
CGF
2010
13 years 4 months ago
2010
In this paper we present an extended critical point concept which allows us to apply vector field topology in the case of unsteady flow. We propose a measure for unsteadiness wh...