3677 search results - page 144 / 736 » Is a probabilistic modeling |
JUCS
2006
14 years 10 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
SSS
2009
Springer
15 years 2 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
We develop a probabilistic framework for global modeling of the traffic over a computer network. The model integrates existing single