Sciweavers

6355 search results - page 86 / 1271
» From Logic to Games
Sort
View
87
Voted
TEI
2012
ACM
278views Hardware» more  TEI 2012»
13 years 8 months ago
Tweetris: play with me
We present Tweetris, a full-body interactive Tetris game with extended audience participation. Snapshots of players making correct tetrominos are tweeted, and this feed is used by...
Dustin Freeman, Fanny Chevalier, Emma Westecott, K...
124
Voted
TARK
2009
Springer
15 years 7 months ago
Dynamic restriction of choices: a preliminary logical report
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...
114
Voted
FSTTCS
2005
Springer
15 years 6 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
FUN
2010
Springer
251views Algorithms» more  FUN 2010»
15 years 5 months ago
UNO Is Hard, Even for a Single Player
UNOR is one of the world-wide well-known and popular card games. We investigate UNO from the viewpoint of combinatorial algorithmic game theory by giving some simple and concise ma...
Erik D. Demaine, Martin L. Demaine, Ryuhei Uehara,...
105
Voted
CRIWG
2009
15 years 1 months ago
Enacting Collaboration via Storytelling in Second Life
This work presents a collaborative educational game, Time2Play, developed in Second Life, which allows the creation of stories in a collaborative fashion, offering a new form of ex...
Andréia R. Pereira, Katia Cánepa, Vi...