Sciweavers

193 search results - page 6 / 39
» Shape Analysis for Composite Data Structures
Sort
View
FOSSACS
2009
Springer
14 years 3 months ago
Beyond Shapes: Lists with Ordered Data
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
Kshitij Bansal, Rémi Brochenin, Étie...
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
14 years 2 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
VMV
2001
113views Visualization» more  VMV 2001»
13 years 10 months ago
Direction-Driven Shape-Based Interpolation of Volume Data
We present a novel approach to shape-based interpolation of gray-level volume data. In contrast to the segmentation-based techniques our method directly processes the scalar volum...
Jirí Hladuvka, Eduard Gröller
BMCBI
2004
208views more  BMCBI 2004»
13 years 8 months ago
Hybrid clustering for microarray image analysis combining intensity and shape features
Background: Image analysis is the first crucial step to obtain reliable results from microarray experiments. First, areas in the image belonging to single spots have to be identif...
Jörg Rahnenführer, Daniel Bozinov
ISBI
2011
IEEE
13 years 10 days ago
3D segmentation of rodent brain structures using Active Volume Model with shape priors
Object boundary extraction is an important task in brain image analysis. Acquiring detailed 3D representations of the brain structures could improve the detection rate of diseases...
Shaoting Zhang, Junzhou Huang, Mustafa Gökhan...