1535 search results - page 22 / 307 » Lazy Shape Analysis |
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
PAMI
2011
12 years 10 months ago
2011
—This paper introduces a square-root velocity (SRV) representation for analyzing shapes of curves in Euclidean spaces under an elastic metric. Due to this SRV representation the ...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. Shape correspondence is the foundation for accurate statistical shape analysis; this is usually accomplished by identifying a set of sparsely sampled and well-corresponde...
IJCV
2010
13 years 6 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
CAIP
2003
Springer
14 years 1 months ago
2003
Springer
In this work, we further discuss an approach to 3D shape recovery by combining photometric stereo and shape from contours methods. Surfaces recovered by photometric stereo are ali...