119 search results - page 9 / 24 » Batch Range Proof for Practical Small Ranges |
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
One important challenge in wireless ad hoc networks is to achieve collision free communication. Many MAC layer protocols have been proposed by considering various communication mod...
115
click to vote
COCO
2010
Springer
15 years 3 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
AAAI
2004
15 years 1 months ago
2004
This paper addresses the problem of outdoor terrain modeling for the purposes of mobile robot navigation. We propose an approach in which a robot acquires a set of terrain models ...
174
click to vote
AES
2011
Springer
13 years 11 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...