62 search results - page 2 / 13 » A Relational Approach to Interprocedural Shape Analysis |
252
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
132
Voted
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
175
Voted
MICCAI
2007
Springer
16 years 6 months ago
2007
Springer
This paper proposes to use the Laplace-Beltrami spectrum (LBS) as a global shape descriptor for medical shape analysis, allowing for shape comparisons using minimal shape preproces...
215
Voted
BSDIA
1997
Springer
15 years 10 months ago
1997
Springer
This paper is a description of recent advances in off-line signature verification research performed at our laboratory. Related works pertain to structural interpretation of signa...
179
Voted
MICCAI
2009
Springer
16 years 24 days ago
2009
Springer
We propose to increment a statistical shape model with surrogate variables such as anatomical measurements and patient-related information, allowing conditioning the shape distribu...