2663 search results - page 86 / 533 » How to Choose a Timing Model |
104
click to vote
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
Emotions play an important role in human decision making. This often has a beneficial effect, and so it is desirable to explore whether emotions can also play a role in agent dec...
ICDCSW
2002
IEEE
15 years 4 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
107
click to vote
ENTCS
2007
14 years 11 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
CSDA
2006
14 years 12 months ago
2006
A recently proposed Bayesian multiscale tool for exploratory analysis of time series data is reconsidered and umerous important improvements are suggested. The improvements are in...
122
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...