1222 search results - page 13 / 245 » A Bayesian Approach to Model Checking Biological Systems |
ISMB
2001
15 years 1 months ago
2001
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
JCC
2007
14 years 11 months ago
2007
In technical chemistry, systems biology and biotechnology, the construction of predictive models has become an essential step in process design and product optimization. Accurate ...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
CMSB
2008
Springer
15 years 1 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
106
click to vote
OSDI
2002
ACM
16 years 1 days ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...