Sciweavers

3967 search results - page 202 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
FM
2005
Springer
156views Formal Methods» more  FM 2005»
16 years 8 hour ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
ATAL
2005
Springer
15 years 8 months ago
Tactical coordination in no-press diplomacy
While there is a broad theoretic foundation for creating computational players for two-player games, such as Chess, the multi-player domain is not as well explored. We make an att...
Stefan J. Johansson, Fredrik Håård
MIPS
2004
Springer
137views Multimedia» more  MIPS 2004»
15 years 12 months ago
Distributed Multi-source Video Composition on High Capacity Networks
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...
Yan Grunenberger, Phuong Hoang Nguyen, Gilles Priv...
ISORC
2000
IEEE
15 years 11 months ago
Hierarchical Feedback Adaptation for Real Time Sensor-Based Distributed Applications
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
Mihaela Cardei, Ionut Cardei, Rakesh Jha, Allalagh...
ATAL
2009
Springer
16 years 1 months ago
Multiagent learning in large anonymous games
In large systems, it is important for agents to learn to act effectively, but sophisticated multi-agent learning algorithms generally do not scale. An alternative approach is to ï...
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern