Sciweavers

113 search results - page 8 / 23
» On the expected value of the minimum assignment
Sort
View
100
Voted
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 1 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
72
Voted
CORR
2007
Springer
137views Education» more  CORR 2007»
14 years 9 months ago
Bounds on the Network Coding Capacity for Wireless Random Networks
— Recently, it has been shown that the max flow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic mode...
Salah A. Aly, Vishal Kapoor, Jie Meng, Andreas Kla...
PR
2006
84views more  PR 2006»
14 years 9 months ago
Geometric visualization of clusters obtained from fuzzy clustering algorithms
Fuzzy-clustering methods, such as fuzzy k-means and Expectation Maximization, allow an object to be assigned to multiple clusters with different degrees of membership. However, th...
Luis Rueda, Yuanquan Zhang
78
Voted
SEMWEB
2007
Springer
15 years 3 months ago
Sampling and Soundness: Can We Have Both?
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
CORR
2011
Springer
234views Education» more  CORR 2011»
14 years 4 months ago
Mutual Information, Relative Entropy, and Estimation in the Poisson Channel
Let X be a non-negative random variable and let the conditional distribution of a random variable Y , given X, be Poisson(γ · X), for a parameter γ ≥ 0. We identify a natural...
Rami Atar, Tsachy Weissman