307 search results - page 43 / 62 » Frameworks Symmetry and Rigidity |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
CAD
2006
Springer
13 years 8 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
JRTIP
2008
13 years 7 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
IVC
2010
13 years 6 months ago
2010
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness, meeting analysis and human-robot...
HUMO
2007
Springer
14 years 2 months ago
2007
Springer
This paper deals with region-of-interest (ROI) segmentation in video sequences. The goal is to determine in one frame the region which best matches, in terms of a similarity measur...