1222 search results - page 97 / 245 » A Bayesian Approach to Model Checking Biological Systems |
150
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
118
click to vote
TCBB
2010
15 years 2 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
112
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Generating accurate three dimensional planetary models is becoming increasingly more important as NASA plans manned missions to return to the moon in the next decade. This paper d...
148
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
131
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...