141 search results - page 13 / 29 » Shape Analysis with Reference Set Relations |
115
click to vote
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
124
click to vote
CRV
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
101
click to vote
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
This paper proposes a new front propagation flow for boundary extraction. The proposed framework is inspired by the geodesic active contour model and leads to a paradigm that is r...
MVA
2007
15 years 1 months ago
2007
Object tracking in computer vision refers to the task of tracking individual moving objects accurately from one frame to another in an image sequence. Several tracking methods hav...