Sciweavers

3384 search results - page 476 / 677
» More Testable Properties
Sort
View
169
Voted
ATAL
2008
Springer
15 years 8 months ago
Interaction-driven Markov games for decentralized multiagent planning under uncertainty
In this paper we propose interaction-driven Markov games (IDMGs), a new model for multiagent decision making under uncertainty. IDMGs aim at describing multiagent decision problem...
Matthijs T. J. Spaan, Francisco S. Melo
ATAL
2008
Springer
15 years 8 months ago
Decentralized algorithms for collision avoidance in airspace
The paper proposes decentralized deconfliction algorithms deployed on multiple autonomous aerial vehicles in freeflight operations. The paper provides two separate algorithms for ...
David Sislák, Jiri Samek, Michal Pechoucek
216
Voted
ATC
2008
Springer
15 years 8 months ago
An Operating System Architecture for Organic Computing in Embedded Real-Time Systems
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
Florian Kluge, Jörg Mische, Sascha Uhrig, The...
208
Voted
CANS
2008
Springer
103views Cryptology» more  CANS 2008»
15 years 8 months ago
A Killer Application for Pairings: Authenticated Key Establishment in Underwater Wireless Sensor Networks
Abstract. Wireless sensors are low power devices which are highly constrained in terms of computational capabilities, memory, and communication bandwidth. While battery life is the...
David Galindo, Rodrigo Roman, Javier Lopez
175
Voted
APGV
2006
ACM
138views Visualization» more  APGV 2006»
15 years 8 months ago
Verification of rendering quality from measured BTFs
One of the most important, still unsolved problems in computer graphics is the generation of predictive imagery, i.e., images that represent perfect renditions of reality. Such pe...
Jan Meseth, Gero Müller, Reinhard Klein, Flor...