3199 search results - page 143 / 640 » Variability in Automation System Models |
180
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
117
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
146
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
116
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
We describe a procedure for inducing conditional densities within the mixtures of truncated exponentials (MTE) framework. We analyse possible conditional MTE specifications and pr...
122
click to vote
AIPS
2009
15 years 3 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...