27913 search results - page 526 / 5583 » Simulation |
118
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
124
click to vote
EDUTAINMENT
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
120
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
157
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
We present a new local method for collision avoidance that is based on collision prediction. In our model, each pedestrian predicts possible future collisions with other pedestrian...
122
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We evolve a neural network controller for a boat that learns to maintain a given bearing and range with respect to a moving target in the Lagoon 3D game environment. Simulating...