6355 search results - page 229 / 1271 » From Logic to Games |
169
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
174
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes an automatic American football video parsing method based on transition rules of an American football game. Combining the results of live scene extraction and ...
155
click to vote
TIDSE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we discuss a conceptual project in which students from the University of Southern Denmark combined the elements of physical play with interactive technology to creat...
157
click to vote
DIGRA
2003
Springer
15 years 12 months ago
2003
Springer
Instead of confining the player to a single role, the active participator model positions the player in a more flexible position towards the fictional gameworld: involved and imme...
143
Voted
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...