800 search results - page 108 / 160 » On the Complexity of Parity Games |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
What happens when the domains of HCI design and money intersect? This paper presents analyses from an ethnographic study of virtual currency use in China to discuss implications f...
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
RPG’s (Role Playing Games) and improvisational theatre have some obvious similarities. Both require the participants to work together in real-time to construct dynamic narrative...
ROBOCUP
2004
Springer
14 years 2 months ago
2004
Springer
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...