4962 search results - page 475 / 993 » Stochastic Model Checking |
126
click to vote
EOR
2006
15 years 4 months ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
119
click to vote
FGCS
2006
15 years 4 months ago
2006
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
144
click to vote
IM
2007
15 years 4 months ago
2007
Vertex pursuit games, such as the game of Cops and Robbers, are a simplified model for network security. In these games, cops try to capture a robber loose on the vertices of the ...
117
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
118
click to vote
JMIV
2010
15 years 2 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...