13383 search results - page 114 / 2677 » Abstractions from proofs |
180
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We show that any quantum algorithm to decide whether a function f : [n] → [n] is a permutation or far from a permutation must make Ω n1/3 /w queries to f, even if the algorith...
168
click to vote
TCC
2010
Springer
16 years 2 months ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
158
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
168
click to vote
UIC
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
165
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...