Sciweavers

1363 search results - page 158 / 273
» Dynamics of a Classical Conditioning Model
Sort
View
130
Voted
LOCA
2005
Springer
15 years 6 months ago
Context Modelling and Management in Ambient-Aware Pervasive Environments
Services in pervasive computing systems must evolve so that they become minimally intrusive and exhibit inherent proactiveness and dynamic adaptability to the current conditions, u...
Maria Strimpakou, Ioanna Roussaki, Carsten Pils, M...
SIMUTOOLS
2008
15 years 2 months ago
A simulation model of DYMO for ad hoc routing in OMNeT++
Mobile Ad Hoc Networks (MANETs) have evolved in the last years into standards in the communication world. By definition, they do not need any network infrastructure to facilitate ...
Christoph Sommer, Isabel Dietrich, Falko Dressler
FIDJI
2004
Springer
15 years 6 months ago
A JMM-Faithful Non-interference Calculus for Java
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
Vladimir Klebanov
99
Voted
CSDA
2006
94views more  CSDA 2006»
15 years 26 days ago
Signal extraction for simulated games with a large number of players
A signal extraction problem in simulated games is studied. A modelling technique is proposed for deriving beliefs for players in simulated games. Since standard Bayesian games pro...
Aki Lehtinen
MOR
2006
86views more  MOR 2006»
15 years 23 days ago
Evolutionary Stability for Large Populations and Backward Induction
It has been shown (Hart [2002]) that the backward induction (or subgame-perfect) equilibrium of a perfect information game is the unique stable outcome for dynamic models consisti...
Ziv Gorodeisky