4962 search results - page 314 / 993 » Stochastic Model Checking |
215
click to vote
CMSB
2011
Springer
14 years 3 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
126
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
115
click to vote
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
156
click to vote
ACL
1994
15 years 4 months ago
1994
We present a stochastic finite-state model for segmenting Chinese text into dictionary entries and productively derived words, and providing pronunciations for these words; the me...
124
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...