Sciweavers

12015 search results - page 546 / 2403
» Interactive Algorithms 2005
Sort
View
ATAL
2005
Springer
15 years 11 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
CIARP
2005
Springer
15 years 11 months ago
Development and Validation of an Algorithm for Cardiomyocyte Beating Frequency Determination
The Chagas disease or Tripanosomiasis Americana affects between 16 and 18 million people in endemic areas. This disease affects the beating rate of infected patients’ cardiomyocy...
Demian Wassermann, Marta Mejail
CSL
2005
Springer
15 years 11 months ago
Feasible Proofs of Matrix Properties with Csanky's Algorithm
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
Michael Soltys
DCOSS
2005
Springer
15 years 11 months ago
A Distributed Greedy Algorithm for Connected Sensor Cover in Dense Sensor Networks
Abstract. Achieving optimal battery usage and prolonged network lifetime are two of the most fundamental issues in wireless sensor networks. By exploiting node and data redundancy ...
Amitabha Ghosh, Sajal K. Das
ESA
2005
Springer
125views Algorithms» more  ESA 2005»
15 years 11 months ago
Online Primal-Dual Algorithms for Covering and Packing Problems
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
Niv Buchbinder, Joseph Naor