851 search results - page 31 / 171 » History Effects and Verification |
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, fingerprint videos are used to improve the accuracy of a fingerprint verification system. We define the “inside-similarity” and “outside-similarity” to ...
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
WETICE
2006
IEEE
15 years 5 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
115
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
It is known that the use of video can help improve the performance of face verification systems. However, processing video in resource constrained devices is prohibitive. In order ...
107
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...