2670 search results - page 91 / 534 » Modeling systems with internal state using evolino |
176
click to vote
IPL
2008
15 years 6 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
215
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
147
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
169
click to vote
TALG
2010
15 years 1 months ago
2010
We initiate the study of error confinement in distributed applications, where the goal is that only nodes that were directly hit by a fault may deviate from their correct external...
189
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...