11182 search results - page 130 / 2237 » Shape Analysis of Sets |
200
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
167
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Extraction of structures of interest in medical images is often an arduous task because of noisy or incomplete data. However, handsegmented data are often available and most of the...
141
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Recovering the 3D shape of deformable surfaces from single images is difficult because many different shapes have very similar projections. This is commonly addressed by restricti...
128
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of to what extent linear transformation can alleviate nonlinear distortion. We investigate a technique of global affine transformation (GAT) corre...
110
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...