95 search results - page 6 / 19 » Modeling Academic Education Processes by Dynamic Storyboardi... |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CORR
2011
Springer
13 years 22 days ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
SIGCSE
2000
ACM
14 years 1 months ago
2000
ACM
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...