2534 search results - page 23 / 507 » A Type System for the Push-Enter Model |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
ESWA
2008
13 years 8 months ago
2008
In this paper, a Takagi
IEAAIE
2009
Springer
14 years 3 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
APN
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys