62 search results - page 2 / 13 » A Relational Approach to Interprocedural Shape Analysis |
213
click to vote
POPL
2005
ACM
16 years 3 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...
113
Voted
PLDI
2009
ACM
15 years 10 months 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...
145
Voted
MICCAI
2007
Springer
16 years 4 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...
179
click to vote
BSDIA
1997
Springer
15 years 7 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...
154
click to vote
MICCAI
2009
Springer
15 years 10 months 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...