2468 search results - page 145 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
Voted
SIGIR
2003
ACM
15 years 9 months 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...
117
Voted
EUROCRYPT
2007
Springer
15 years 9 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....
103
Voted
IANDC
2007
15 years 3 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 ...
130
Voted
ISCAS
2006
IEEE
15 years 9 months 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...
136
Voted
JSAC
2010
15 years 2 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...