2597 search results - page 474 / 520 » On numbers of Davenport-Schinzel sequences |
209
click to vote
CRYPTO
2009
Springer
16 years 22 days ago
2009
Springer
We present a new methodology for proving security of encryption systems using what we call Dual System Encryption. Our techniques result in fully secure Identity-Based Encryption ...
160
click to vote
FCT
2009
Springer
16 years 22 days ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
133
click to vote
SSS
2009
Springer
16 years 21 days ago
2009
Springer
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
158
click to vote
UC
2009
Springer
16 years 21 days ago
2009
Springer
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
170
click to vote
CVPR
2008
IEEE
16 years 19 days ago
2008
IEEE
We propose a 2D registration method for multi-modal image sequences of the retinal fundus, and a 3D metric reconstruction of near planar surface from multiple views. There are two...