25 search results - page 2 / 5 » Network Probabilistic Connectivity: Exact Calculation with U... |
INFOCOM
2002
IEEE
13 years 10 months ago
2002
IEEE
We demonstrate how to apply Coupling from the Past, a simulation technique for exact sampling, to Markov chains based on TCP variants. This approach provides a new, statistically ...
TVLSI
2008
13 years 5 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
DAC
1994
ACM
13 years 8 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
AUTOMATICA
2010
13 years 5 months ago
2010
This paper considers the average consensus problem on a network of digital links, and proposes algorithms based on pairwise "gossip" communications and updates. Through ...
PKDD
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, we introduce a new approach for mining regulatory interactions between genes in microarray time series studies. A number of preprocessing steps transform t...