6355 search results - page 32 / 1271 » From Logic to Games |
CSL
2007
Springer
14 years 2 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper is to study the information system development (ISD) by looking into fifty-six cases from the perspectives of power development stage and organizational politics. We in...
ACMACE
2009
ACM
14 years 5 months ago
2009
ACM
A digital game is normally controlled by hand. Playing such a game requires only minimum hand movements. Rather than being easy and comfortable, this game controller is designed t...
ECML
2007
Springer
14 years 5 months ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
ISAAC
2005
Springer
14 years 4 months ago
2005
Springer
We study network load games, a class of routing games in networks which generalize selfish routing games on networks consisting of parallel links. In these games, each user aims t...