2005 search results - page 220 / 401 » Decisive Markov Chains |
160
click to vote
CAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we examine spectral properties of random intersection graphs when the number of vertices is equal to the number of labels. We call this class symmetric rand...
214
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
184
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
In this work we study the computational complexity of a class of grid Monte Carlo algorithms for integral equations. The idea of the algorithms consists in an approximation of the ...
155
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
195
click to vote
TELETRAFFIC
2007
Springer
16 years 21 days ago
2007
Springer
This paper evaluates the performance of two schemes for recovering lost data in a peer-to-peer (P2P) storage systems. The first scheme is centralized and relies on a server that r...