752 search results - page 40 / 151 » A Markov Chain Model Checker |
140
click to vote
TWC
2010
14 years 10 months ago
2010
We investigate the problem of minimizing the overall transmission delay of packets in a multi-access wireless communication system, where the transmitters have average power constr...
144
click to vote
WIOPT
2011
IEEE
14 years 7 months ago
2011
IEEE
—Most work on wireless network throughput ignore the temporal correlation inherent to wireless channels, due to trouble with tractability. In order to better capture the temporal...
153
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
114
click to vote
IJCNN
2000
IEEE
15 years 7 months ago
2000
IEEE
Bayesian MLP neural networks are a flexible tool in complex nonlinear problems. The approach is complicated by need to evaluate integrals over high-dimensional probability distri...
151
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Natural scenes consist of a wide variety of stochastic patterns. While many patterns are represented well by statistical models in two dimensional regions as most image s...