Sciweavers

389 search results - page 11 / 78
» A Cooperative Repair Method for a Distributed Scheduling Sys...
Sort
View
ADHOC
2010
163views more  ADHOC 2010»
14 years 9 months ago
A probabilistic method for cooperative hierarchical aggregation of data in VANETs
We propose an algorithm for the hierarchical aggregation of observations in dissemination-based, distributed traffic information systems. Instead of transmitting observed paramete...
Christian Lochert, Björn Scheuermann, Martin ...
IROS
2007
IEEE
140views Robotics» more  IROS 2007»
15 years 3 months ago
Test-environment based on a team of miniature walking robots for evaluation of collaborative control methods
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
Florian Weissel, Marco F. Huber, Uwe D. Hanebeck
78
Voted
EWCBR
2006
Springer
15 years 1 months ago
Multi-agent Case-Based Reasoning for Cooperative Reinforcement Learners
Abstract. In both research fields, Case-Based Reasoning and Reinforcement Learning, the system under consideration gains its expertise from experience. Utilizing this fundamental c...
Thomas Gabel, Martin Riedmiller
80
Voted
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
101
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier