280 search results - page 40 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
99
Voted
BMCBI
2007
15 years 17 days ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
230
Voted
DNA
2011
Springer
14 years 8 days ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
108
Voted
OSDI
2004
ACM
16 years 23 days ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...