Sciweavers

113 search results - page 8 / 23
» On the expected value of the minimum assignment
Sort
View
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 5 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...
CORR
2007
Springer
137views Education» more  CORR 2007»
15 years 1 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...
109
Voted
PR
2006
84views more  PR 2006»
15 years 1 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
SEMWEB
2007
Springer
15 years 8 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...
133
Voted
CORR
2011
Springer
234views Education» more  CORR 2011»
14 years 8 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