Sciweavers

856 search results - page 19 / 172
» Building a Game Development Program
Sort
View
IFIP
2004
Springer
15 years 3 months ago
Developing re-usable interactive storytelling technologies
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
Marc Cavazza, Fred Charles, Steven J. Mead
PROVSEC
2007
Springer
15 years 3 months ago
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
Reynald Affeldt, Miki Tanaka, Nicolas Marti
IFIP
1999
Springer
15 years 1 months ago
Improving product development: Towards a framework for integrating artefact and process models
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
Mervi Ranta, Martti Mäntylä, Riitta Smed...
JMLR
2010
105views more  JMLR 2010»
14 years 4 months ago
Causal Discovery as a Game
This paper presents a game theoretic approach to causal discovery. The problem of causal discovery is framed as a game of the Scientist against Nature, in which Nature attempts to...
Frederick Eberhardt
ATAL
2011
Springer
13 years 9 months ago
Game theory-based opponent modeling in large imperfect-information games
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
Sam Ganzfried, Tuomas Sandholm