Sciweavers

11182 search results - page 85 / 2237
» Shape Analysis of Sets
Sort
View
VMCAI
2007
Springer
15 years 7 months ago
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
Sigmund Cherem, Radu Rugina
80
Voted
IBPRIA
2005
Springer
15 years 6 months ago
Mathematical Morphology in Polar-Logarithmic Coordinates. Application to Erythrocyte Shape Analysis
We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...
Miguel A. Luengo-Oroz, Jesús Angulo, George...
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 1 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
BCB
2010
125views Bioinformatics» more  BCB 2010»
14 years 8 months ago
Protein structure alignment using elastic shape analysis
In this paper we present a method for flexible protein structure alignment based on elastic shape analysis of backbones, in a manner that can incorporate different characteristics...
Wei Liu, Anuj Srivastava, Jinfeng Zhang
MA
2010
Springer
149views Communications» more  MA 2010»
14 years 11 months ago
A nonparametric approach to 3D shape analysis from digital camera images - I
In this article, for the first time, one develops a nonparametric methodology for an analysis of shapes of configurations of landmarks on real 3D objects from regular camera pho...
V. Patrangenaru, X. Liu, S. Sugathadasa