4962 search results - page 291 / 993 » Stochastic Model Checking |
138
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...
133
click to vote
IS
2008
15 years 3 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
119
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
This work investigates how stochastic sampling jitter noise affects the result of system identification, and proposes a modification of known approaches to mitigate the effects of...
134
click to vote
WSC
1989
15 years 4 months ago
1989
To design a stochastic simulation experiment, it is helpful to have an estimate of the simulation run lengths required to achieve desired statistical precision. Preliminary estima...
ICC
2009
IEEE
15 years 25 days ago
2009
IEEE
This paper develops a generic geometry-based stochastic model for mobile-to-mobile (M2M) Ricean fading channels. From the generic model, the level crossing rate (LCR) and average f...