682 search results - page 82 / 137 » Game Development Using Design-by-Contract |
ACL
1998
13 years 11 months ago
1998
The paper argues that language change can be explained through the stochasticity observed in real-world natural language use. This thesis is demonstrated by modeling language use ...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
NOSSDAV
2005
Springer
14 years 3 months ago
2005
Springer
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
WINE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
This paper considers cross-cultural patterns of game-playing activities. The paper is part of an overall argument regarding computer games as a possible technological entry point ...