4007 search results - page 331 / 802 » Computation with imprecise probabilities |
192
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
175
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
193
Voted
SACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
239
Voted
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
227
Voted
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— In order to avoid the large peak transmit power, resulting from the high transmission rates expected for future mobile communication systems, a wireless multi-hop virtual cellu...