7167 search results - page 285 / 1434 » A Technique for Invariant Generation |
223
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
180
Voted
RIAO
2007
15 years 8 months ago
2007
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...
195
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Next Generation Sequencing machines are generating millions of short DNA sequences (reads) everyday. There is a need for efficient algorithms to map these sequences to the referen...
202
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
179
click to vote
PAAPP
2006
15 years 7 months ago
2006
In this paper, we investigate algorithms for generating communication code to run on distributedmemory systems. We modify algorithms from previously published work and prove that ...