Sciweavers

1035 search results - page 56 / 207
» Communications in cellular automata
Sort
View
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
14 years 3 months ago
The impact of cellular representation on finite state agents for prisoner's dilemma
The iterated prisoner’s dilemma is a widely used computational model of cooperation and conflict. Many studies report emergent cooperation in populations of agents trained to p...
Daniel A. Ashlock, Eun-Youn Kim
TYPES
1993
Springer
14 years 2 months ago
Proof-Checking a Data Link Protocol
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrage...
DAGSTUHL
2007
13 years 11 months ago
Programming self developing blob machines for spatial computing.
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
Frédéric Gruau, Christine Eisenbeis
FUIN
2002
99views more  FUIN 2002»
13 years 9 months ago
On Interacting Automata with Limited Nondeterminism
One-way and two-way cellular language acceptors with restricted nondeterminism are investigated. The number of nondeterministic state transitions is regarded as limited resource wh...
Thomas Buchholz, Andreas Klein, Martin Kutrib
VTC
2006
IEEE
115views Communications» more  VTC 2006»
14 years 4 months ago
Routing Mechanisms for Multi-Hop Cellular Communications in the WINNER Air Interface
Abstract—In this paper we present network-centric and usercentric routing mechanisms designed for the Wireless world INitiative NEw Radio (WINNER) multi-hop cellular air interfac...
Keivan Navaie, Yajian Liu, Mohammad Abaii, Adrian ...