1806 search results - page 135 / 362 » Randomness and halting probabilities |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we consider the issue of energy efficiency in random access networks and show that optimizing transmission probabilities of nodes can enhance network performance in t...
JAMDS
2002
13 years 9 months ago
2002
Abstract. A resource selection probability function is a function that gives the probability that a resource unit (e.g., a plot of land) that is described by a set of habitat varia...
TIT
2002
13 years 9 months ago
2002
In this paper, we are concerned with the finite-length analysis of low-density parity-check (LDPC) codes when used over the binary erasure channel (BEC). The main result is an expr...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 8 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
ALGORITHMICA
2011
13 years 5 months ago
2011
We investigate the natural situation of the dissemination of information on various graph classes starting with a random set of informed vertices called active. Initially active ve...