4833 search results - page 616 / 967 » Computation in a distributed information market |
159
click to vote
UAI
2004
15 years 8 months ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
179
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
202
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
185
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
191
Voted
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
The Semantic Web consists of many billions of statements made of terms that are either URIs or literals. Since these terms usually consist of long sequences of characters, an effe...