5138 search results - page 620 / 1028 » Randomized Algorithms for 3-SAT |
214
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
184
click to vote
ISITA
2010
15 years 4 months ago
2010
Abstract--Chow and Liu considered the problem of approximating discrete joint distributions with dependence tree distributions where the goodness of the approximations were measure...
216
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Scaling up the sparse matrix-vector multiplication kernel on modern Graphics Processing Units (GPU) has been at the heart of numerous studies in both academia and industry. In thi...
164
click to vote
JMLR
2010
15 years 1 months ago
2010
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
182
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
— We consider a peer-to-peer network where nodes can send and receive files amongst their peers. File requests are generated randomly, and each new file can correspond to a dif...