1698 search results - page 92 / 340 » Growing Complex Games |
131
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
132
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
140
click to vote
IV
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper reports on a project federally funded by the Australian CRC for Interaction Design (ACID). It investigates the use of a 3D game engine as a landscape metaphor for hosti...
122
click to vote
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
139
click to vote
EWCBR
2006
Springer
15 years 7 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...