Sciweavers

1906 search results - page 63 / 382
» Dependable Self-Hosting Distributed Systems Using Constraint...
Sort
View
ATAL
2005
Springer
15 years 8 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib
PAMI
2008
235views more  PAMI 2008»
15 years 2 months ago
Dependent Multiple Cue Integration for Robust Tracking
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and po...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...
127
Voted
ISORC
1999
IEEE
15 years 7 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
EUROPAR
2007
Springer
15 years 9 months ago
Delayed Side-Effects Ease Multi-core Programming
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
Anton Lokhmotov, Alan Mycroft, Andrew Richards
AAMAS
2008
Springer
15 years 3 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...