2502 search results - page 183 / 501 » Using probabilistic model checking in systems biology |
162
click to vote
QEST
2008
IEEE
16 years 26 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
210
click to vote
AAAI
2006
15 years 7 months ago
2006
Intrusion attempts due to self-propagating code are becoming an increasingly urgent problem, in part due to the homogeneous makeup of the internet. Recent advances in anomalybased...
227
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe a probabilistic model, implemented as a dynamic Bayesian network, that can be used to predict nucleosome positioning along a chromosome based on one or more g...
201
click to vote
FASE
2005
Springer
16 years 3 hour ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
189
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...