2488 search results - page 225 / 498 » An improvement in formal verification |
116
click to vote
PR
2006
15 years 1 months ago
2006
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
101
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Poor performance of HW/SW cosimulation is mainly caused by synchronization requirement between component simulators. Virtual synchronization technique was proposed to remove the n...
104
click to vote
ICPR
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper investigates a new approach for personal authentication by combining unique biometric features which can be acquired from hand images alone. The proposed method attempt...