9166 search results - page 450 / 1834 » A framework for comparing models of computation |
162
click to vote
3DOR
2008
15 years 9 months ago
2008
We present a new 3D shape descriptor based on conformal geometry. Our descriptor is invariant under non-rigid quasi-isometric transformations, such as pose changes of articulated ...
170
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
226
Voted
JCB
2000
15 years 6 months ago
2000
We present a novel method for predicting the secondary structure of a protein from its amino acid sequence. Most existing methods predict each position in turn based on a local wi...
187
click to vote
TOG
2008
15 years 6 months ago
2008
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
152
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
We present a theoretical and computational framework for matching of two-dimensional articulated shapes. Assuming that articulations can be modeled as near-isometries, we show an a...