1222 search results - page 112 / 245 » A Bayesian Approach to Model Checking Biological Systems |
131
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
110
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...
232
click to vote
EMNLP
2006
15 years 5 months ago
2006
We describe a probabilistic approach to content selection for meeting summarization. We use skipchain Conditional Random Fields (CRF) to model non-local pragmatic dependencies bet...
148
click to vote
AAAI
2008
15 years 6 months ago
2008
Electrical power systems play a critical role in spacecraft and aircraft, and they exhibit a rich variety of failure modes. This paper discusses electrical power system fault diag...
159
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...