Sciweavers

1494 search results - page 26 / 299
» Bottom-Up Shape Analysis
Sort
View
SMI
2008
IEEE
147views Image Analysis» more  SMI 2008»
15 years 10 months ago
Robust segmentation of voxel shapes using medial surfaces
We present a new method for robustly decomposing a 3D voxel shape into disjoint segments using the medial surface, also called surface skeleton. The boundaries of the simplified ...
Dennie Reniers, Alexandru Telea
ISBI
2009
IEEE
15 years 10 months ago
Laplace-Beltrami Nodal Counts: A New Signature for 3D Shape Analysis
In this paper we develop a new approach of analyzing 3D shapes based on the eigen-system of the Laplace-Beltrami operator. While the eigenvalues of the Laplace-Beltrami operator h...
Rongjie Lai, Yonggang Shi, Ivo D. Dinov, Tony F. C...
VMCAI
2004
Springer
15 years 9 months ago
Boolean Algebra of Shape Analysis Constraints
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
Viktor Kuncak, Martin C. Rinard
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
15 years 9 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
ISVC
2009
Springer
15 years 10 months ago
Level Set Gait Analysis for Synthesis and Reconstruction
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
Muayed S. Al-Huseiny, Sasan Mahmoodi, Mark S. Nixo...