774 search results - page 103 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
AIIDE
2007
15 years 3 days ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
CORR
2010
Springer
14 years 4 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
CCE
2011
14 years 4 months ago
2011
As an alternative to the pressure swing adsorption (PSA) based on the Skarstrom cycle or its variants, a novel two-bed PSA--called duplex PSA--has been proposed by Hirose and inde...
MOBICOM
2003
ACM
15 years 3 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...