2468 search results - page 145 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
209
click to vote
SIGIR
2003
ACM
16 years 1 days ago
2003
ACM
The ability to find tables and extract information from them is a necessary component of data mining, question answering, and other information retrieval tasks. Documents often c...
168
click to vote
EUROCRYPT
2007
Springer
16 years 1 months ago
2007
Springer
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
153
click to vote
IANDC
2007
15 years 6 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
181
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
A robust system architecture to achieve optical coherency free optimization. Several methods that had been proposed in the in multiple-beam free-space laser communication links wit...
190
click to vote
JSAC
2010
15 years 5 months ago
2010
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...