Sciweavers

6355 search results - page 68 / 1271
» From Logic to Games
Sort
View
110
Voted
LICS
2009
IEEE
15 years 7 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
93
Voted
ATAL
2008
Springer
15 years 2 months ago
Synthesis of strategies from interaction traces
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
Tsz-Chiu Au, Sarit Kraus, Dana S. Nau
90
Voted
CGI
2004
IEEE
15 years 4 months ago
From Continuous to Discrete Games
Computer games follow a scheme of continuous simulation, coupling the rendering phase and the simulation phase. That way of operation has disadvantages that can be avoided using a...
Inmaculada García, Ramón Mollá...
FPLAY
2008
15 years 2 months ago
Lessons from Brain Age on password memorability
User authentication involves establishing a user's right to access a system. Most user authentication is done with text passwords, which have advantages over other approaches...
Alain Forget, Sonia Chiasson, Robert Biddle
96
Voted
DIGRA
2005
Springer
15 years 6 months ago
How Serious are serious games? Some lessons from Infra-games
In this paper, the authors explore the possible contribution of serious games for advanced academic and/or professional learning in particular to support the decision-making and 1...
Geertje Bekebrede, Igor Mayer, Stijn-Pieter A. van...