1140 search results - page 215 / 228 » Progress on Certifying Algorithms |
102
click to vote
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...
116
click to vote
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
86
Voted
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
100
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
98
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...