Sciweavers

2509 search results - page 161 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
TCS
2002
15 years 6 months ago
Set-sharing is redundant for pair-sharing
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
ECCV
2002
Springer
16 years 8 months ago
Probabilistic Search for Object Segmentation and Recognition
Abstract. The problem of searching for a model-based scene interpretation is analyzed within a probabilistic framework. Object models are formulated as generative models for range ...
Ulrich Hillenbrand, Gerd Hirzinger
MICCAI
2009
Springer
16 years 3 months ago
A Two-Level Approach Towards Semantic Colon Segmentation: Removing Extra-Colonic Findings
Abstract. Computer aided detection (CAD) of colonic polyps in computed tomographic colonography has tremendously impacted colorectal cancer diagnosis using 3D medical imaging. It i...
Le Lu, Matthias Wolf, Jianming Liang, Murat Dundar...
SCALESPACE
2009
Springer
16 years 1 months ago
An Elasticity Approach to Principal Modes of Shape Variation
Abstract. Concepts from elasticity are applied to analyze modes of variation on shapes in two and three dimensions. This approach represents a physically motivated alternative to s...
Martin Rumpf, Benedikt Wirth
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
Pushdown Control-Flow Analysis of Higher-Order Programs
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
Christopher Earl, Matthew Might, David Van Horn