2005 search results - page 220 / 401 » Decisive Markov Chains |
102
Voted
CAI
2007
Springer
15 years 8 months 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...
126
Voted
ICALP
2007
Springer
15 years 7 months 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...
121
click to vote
ICCS
2007
Springer
15 years 7 months 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 ...
100
Voted
TACAS
2007
Springer
15 years 7 months 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...
131
click to vote
TELETRAFFIC
2007
Springer
15 years 7 months 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...