774 search results - page 18 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
EDBT
2011
ACM
14 years 1 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
AAAI
2006
14 years 11 months ago
2006
A major goal for AI is to allow users to interact with agents that learn in real time, making new kinds of interactive simulations, training applications, and digital entertainmen...
SBACPAD
2008
IEEE
15 years 4 months ago
2008
IEEE
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...
ICCBR
2005
Springer
15 years 3 months ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...