Sciweavers

6355 search results - page 68 / 1271
» From Logic to Games
Sort
View
LICS
2009
IEEE
16 years 29 days 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
ATAL
2008
Springer
15 years 8 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
CGI
2004
IEEE
15 years 10 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 7 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
DIGRA
2005
Springer
15 years 12 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...