Sciweavers

643 search results - page 20 / 129
» A study of computational and human strategies in revelation ...
Sort
View
CORR
2010
Springer
123views Education» more  CORR 2010»
14 years 9 months ago
A Stackelberg Strategy for Routing Flow over Time
Routing games are used to to understand the impact of individual users’ decisions on network efficiency. Most prior work on routing games uses a simplified model of network fl...
Umang Bhaskar, Lisa Fleischer, Elliot Anshelevich
FCT
2009
Springer
15 years 2 months ago
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
Paul Hänsch, Michaela Slaats, Wolfgang Thomas
CORR
2010
Springer
115views Education» more  CORR 2010»
14 years 10 months ago
The complexity of solving reachability games using value and strategy iteration
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, P...
CHI
2005
ACM
15 years 11 months ago
Martial arts in artificial reality
This paper presents Kick Ass Kung-Fu, a martial arts game installation where the player fights virtual enemies with kicks and punches as well as acrobatic moves such as cartwheels...
Ari Nykänen, Johanna Höysniemi, Mikko Li...
CIG
2005
IEEE
15 years 4 months ago
Building Reactive Characters for Dynamic Gaming Environments
Interactive computer games are widely seen as a killer application domain for Artificial Intelligence (AI) [8]. Quite apart from the significant size of the games market in terms...
Peter Blackburn, Barry O'Sullivan