Sciweavers

353 search results - page 6 / 71
» Better Scripts, Better Games
Sort
View
CORR
2008
Springer
102views Education» more  CORR 2008»
13 years 8 months ago
(Mechanical) Reasoning on Infinite Extensive Games
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.
Pierre Lescanne
GI
2009
Springer
13 years 6 months ago
The relation between protocols and games
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
Johannes Reich
JPDC
2011
137views more  JPDC 2011»
12 years 11 months ago
Transparent runtime parallelization of the R scripting language
Scripting languages such as R and Matlab are widely used in scientific data processing. As the data volume and the complexity of analysis tasks both grow, sequential data process...
Jiangtian Li, Xiaosong Ma, Srikanth B. Yoginath, G...
MMAS
2004
Springer
14 years 1 months ago
Virtual Space Ontologies for Scripting Agents
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
Zhiqiang Gao, Liqun Ren, Yuzhong Qu, Toru Ishida
ATAL
2008
Springer
13 years 10 months ago
iCat: an affective game buddy based on anticipatory mechanisms
In this paper, we study the role of emotions and expressive behaviour in socially interactive characters employed in educational games. More specifically, on how we can use such e...
Iolanda Leite, Carlos Martinho, André Perei...