1115 search results - page 1 / 223 » Separating Shape Graphs |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
SEFM
2005
IEEE
13 years 11 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...
ICBA
2004
Springer
13 years 10 months ago
2004
Springer
Active Shape Model (ASM) is one of the most popular methods for image alignment. To improve its matching accuracy, in this paper, ASM searching method is combined with a simplifie...
CVIU
2007
13 years 5 months ago
2007
In this paper, we present an approach toward pedestrian detection and tracking from infrared imagery using joint shape and appearance cues. A layered representation is first intr...
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
It's often important to analyze shapes as made up of parts. But there are two ways to think of how parts fit together. We can characterize the remainder of a shape after a pa...