Sciweavers

6355 search results - page 72 / 1271
» From Logic to Games
Sort
View
TSMC
2008
117views more  TSMC 2008»
14 years 11 months ago
Discovery of High-Level Behavior From Observation of Human Performance in a Strategic Game
This paper explores the issues faced in creating a sys-4 tem that can learn tactical human behavior merely by observing5 a human perform the behavior in a simulation. More specific...
Brian S. Stensrud, Avelino J. Gonzalez
102
Voted
ATAL
2010
Springer
15 years 1 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
105
Voted
IE
2007
15 years 2 months ago
Through the looking glass: game worlds as representations and views from elsewhere
This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...
J. Turner, Nicola J. Bidwell
IWEC
2008
15 years 2 months ago
Frame Selection for Automatic Comic Generation from Game Log
Recently, we have presented a comic generating system that visualizes an online-game play. Our system was inspired by a former work of Shamir et al. However, comics generated in th...
Tomonori Shuda, Ruck Thawonmas
PUC
2002
84views more  PUC 2002»
15 years 12 days ago
Designing Ubiquitous Computing Games - A Report from a Workshop Exploring Ubiquitous Computing Entertainment
: We report from a Research Atelier that explored how ubiquitous computing could be applied to fun and entertainment. The Atelier lasted for five days, starting with two days of sc...
Staffan Björk, Jussi Holopainen, Peter Ljungs...