9425 search results - page 182 / 1885 » Some Notes on Models and Modelling |
STACS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...
APN
2004
Springer
15 years 3 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
122
Voted
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents a multi-agent model to support decisionmaking in organizations. The model is characterized by being interactive, distributed, and incremental and by the use of...
ISMDA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Due to the uncertain nature of many of the factors that influence on the performance of an emergency medical service, we propose using Bayesian networks to model this ki...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...