2917 search results - page 314 / 584 » Interactive Simulation of Fire |
149
click to vote
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
122
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...
150
click to vote
VRST
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we summarize the experiences we made with the implementation of a table tennis application. After describing the hardware necessities of our system we give insight i...
106
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
129
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...