4962 search results - page 688 / 993 » Stochastic Model Checking |
EOR
2011
14 years 9 months ago
2011
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
103
Voted
LLC
2011
14 years 9 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
120
click to vote
JMLR
2010
14 years 9 months ago
2010
Recent research has seen the proposal of several new inductive principles designed specifically to avoid the problems associated with maximum likelihood learning in models with in...
121
Voted
MMAS
2010
Springer
14 years 9 months ago
2010
Springer
We consider the homogenization of parabolic equations with large spatiallydependent potentials modeled as Gaussian random fields. We derive the homogenized equations in the limit ...
135
click to vote
TCOM
2010
14 years 9 months ago
2010
Abstract--This paper surveys and unifies a number of recent contributions that have collectively developed a metric for decentralized wireless network analysis known as transmissio...