1535 search results - page 33 / 307 » Lazy Shape Analysis |
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
POPL
2005
ACM
14 years 8 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...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a novel approach to the on-line signature verification using local shape Analysis. First, segment the input signature into several segments using HMM (Hidden M...
3DPVT
2006
IEEE
13 years 11 months ago
2006
IEEE
Detection and analysis of ocean surface phenomena have so far relied on manual analysis of long sequences of satellite images or images produced from the mathematical models. In t...
ICCV
2009
IEEE
15 years 28 days ago
2009
IEEE
In this paper we explore the use of shapes of noses for
performing partial human biometrics. The basic idea is to
represent nasal surfaces using indexed collections of isocurves,...