8828 search results - page 1593 / 1766 » Formal methods in practice |
162
click to vote
TSMC
2010
14 years 11 months ago
2010
In recent years the protection of biometric data has gained increased interest from the scientific community. Methods such as the fuzzy commitment scheme, helper data system, fuzzy...
151
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Real-time functional magnetic resonance imaging (rtfMRI) enables classification of brain activity during data collection thus making inference results accessible to both the subj...
166
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: In genetic transcription research, gene expression is typically reported in a test sample relative to a reference sample. Laboratory assays that measure gene expressio...
148
click to vote
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
151
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
We wish to match sets of images to sets of images where both sets are undergoing various distortions such as viewpoint and lighting changes. To this end we have developed a Joint ...