7393 search results - page 405 / 1479 » Synthesis-for-testability using transformations |
165
Voted
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
14 years 11 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...
176
click to vote
EFORENSICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
187
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
136
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper proposes an efficient dental radiograph registration algorithm using Phase-Only Correlation (POC). The use of phase components in 2D (twodimensional) discrete Fourier t...
131
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...