35 search results - page 6 / 7 » Quantitative and Probabilistic Modeling in Pathway Logic |
JCB
2006
13 years 6 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
DAGSTUHL
2006
13 years 7 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
QEST
2009
IEEE
14 years 1 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
QEST
2008
IEEE
14 years 20 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...
BMCBI
2006
13 years 6 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...