Sciweavers

2867 search results - page 211 / 574
» On Interactive Evolution Strategies
Sort
View
215
Voted
CSFW
2012
IEEE
13 years 9 months ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
235
Voted
LICS
2009
IEEE
16 years 1 months ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram
225
Voted
CORR
2010
Springer
232views Education» more  CORR 2010»
15 years 7 months ago
MiBoard: Multiplayer Interactive Board Game
Serious games have recently emerged as an avenue for curriculum delivery. Serious games incorporate motivation and entertainment while providing pointed curriculum for the user. Th...
Kyle B. Dempsey, Justin F. Brunelle, G. Tanner Jac...
CG
2004
Springer
16 years 13 days ago
Strategic Interactions in the TAC 2003 Supply Chain Tournament
The TAC 2003 supply-chaingame presented automated trading agents with a challenging strategic problem. Embedded within a complex stochastic environment was a pivotal strategic deci...
Joshua Estelle, Yevgeniy Vorobeychik, Michael P. W...
167
Voted
EICS
2010
ACM
16 years 3 days ago
Letras: an architecture and framework for ubiquitous pen-and-paper interaction
Paper remains a prevalent medium in mobile usage contexts due to its inherent flexibility and robustness. Mobile computing solutions begin to provide powerful and convenient func...
Felix Heinrichs, Jürgen Steimle, Daniel Schre...