11182 search results - page 84 / 2237 » Shape Analysis of Sets |
148
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
104
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
138
click to vote
ICDAR
2003
IEEE
15 years 6 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...
120
click to vote
3DPVT
2006
IEEE
15 years 4 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...
100
click to vote
ICCV
2009
IEEE
16 years 5 months 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,...