1401 search results - page 38 / 281 » Randomness in Interactive Proofs |
75
Voted
ARITH
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
JSAC
2007
14 years 9 months ago
2007
Abstract—Provisioning random access functions in peer-topeer on-demand video streaming is challenging, due to not only the asynchronous user interactivity but also the unpredicta...
71
Voted
ACISP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. A security proof in the Bellare
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...