2056 search results - page 167 / 412 » time 2000 |
147
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
146
click to vote
ET
2000
15 years 4 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
120
click to vote
EXPERT
2000
15 years 4 months ago
2000
The field of robotics moves so quickly and encompasses such a wide range of disciplines and applications that education in robotics must be adaptive and incorporate a multidiscipl...
129
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
* In this paper, we present a study of hierarchically characterizing image content from coarse level to fine level conducted using a series of shape features as a case in point. I...
123
click to vote
ICPR
2000
IEEE
16 years 6 months ago
2000
IEEE
Extracting minutiae from fingerprint images is one of the most important steps in automatic fingerprint identification and classification. Minutiae are local discontinuities in th...