230 search results - page 13 / 46 » UPPAAL-Tiga: Time for Playing Games! |
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
GI
2004
Springer
14 years 24 days ago
2004
Springer
: The concept of Massively Multiplayer Games (MMG) recently has spread into all classical genres of real-time computer games. This paper summarizes our work on a novel proxy server...
ICANN
2005
Springer
14 years 28 days ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
MFCS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We address the strategy problem for parity games with partial information and observable colors, played on finite graphs of bounded graph complexity. We consider several...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper proposes a Real-Time Pricing (RTP)-based power scheduling scheme as demand response for residential power usage. In this scheme, the Energy Management Controller (EMC) ...