620 search results - page 19 / 124 » Decidability Problems for Actor Systems |
106
click to vote
CAV
2003
Springer
15 years 2 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...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
ACMACE
2006
ACM
15 years 3 months ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
KBS
2006
14 years 9 months ago
2006
We present a system for visual robotic docking using an omnidirectional camera coupled with the actor critic reinforcement learning algorithm. The system enables a PeopleBot robot...
CSCW
2002
ACM
14 years 9 months ago
2002
ACM
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...