649 search results - page 1 / 130 » Focusing in Asynchronous Games |
CIE
2010
Springer
13 years 9 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
ACRI
2004
Springer
13 years 9 months ago
2004
Springer
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...
ENTCS
2010
13 years 4 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
CHI
2009
ACM
14 years 4 months ago
2009
ACM
Hannamari Saarenp?? University of Tampere Kanslerinrinne 1 33014 Tampereen Yliopisto, Finland hannamari.saarenpaa@uta.fi Hannu Korhonen Nokia Research P.O. Box 1000 00045 Nokia Gro...
GECCO
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Recently, a minimal domain dubbed the numbers game has been proposed to illustrate well-known issues in co-evolutionary dynamics. The domain