1222 search results - page 21 / 245 » A Bayesian Approach to Model Checking Biological Systems |
105
Voted
DILS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
BIB
2008
14 years 12 months ago
2008
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Buildin...
116
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
ICPR
2004
IEEE
16 years 26 days ago
2004
IEEE
In this paper we use a variational Bayesian framework for color image segmentation. Each image is represented in the L*u*v color coordinate system before being segmented by the va...
RISE
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...