4298 search results - page 556 / 860 » Measurable chromatic numbers |
173
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
174
click to vote
TSD
2007
Springer
16 years 28 days ago
2007
Springer
The present study proposes an inter-speaker audiovisual synchronization method to decrease the speaker dependency of our direct speech to animation conversion system. Our aim is to...
179
click to vote
VLDB
2007
ACM
16 years 28 days ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
191
click to vote
WABI
2007
Springer
16 years 28 days ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
167
click to vote
ACSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...