1887 search results - page 95 / 378 » Annotation Framework Validation Using Domain Models |
124
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
93
Voted
WSC
2004
15 years 4 months ago
2004
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
118
Voted
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
135
Voted
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
101
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...