Sciweavers

193 search results - page 2 / 39
» Shape Analysis for Composite Data Structures
Sort
View
SAS
2007
Springer
14 years 1 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
AADEBUG
1997
Springer
13 years 11 months ago
Assertions for Dynamic Shape Analysis of List Data Structures
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
Mikhail Auguston, Miu Har Hon
SMI
2006
IEEE
183views Image Analysis» more  SMI 2006»
14 years 1 months ago
The Generalized Shape Distributions for Shape Matching and Analysis
This paper presents a novel 3D shape descriptor "The Generalized Shape Distributions" for effective shape matching and analysis, by taking advantage of both local and gl...
Yi Liu, Hongbin Zha, Hong Qin
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
14 years 1 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen
CVPR
2006
IEEE
14 years 9 months ago
Wire Structure Pattern Extraction and Tracking From X-Ray Images of Composite Mechanisms
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
David Tschumperlé, Jalal Fadili