598 search results - page 103 / 120 » Generic Trace Theory |
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
NECO
2007
13 years 8 months ago
2007
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...
DIALM
2010
ACM
13 years 7 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...