Sciweavers

2900 search results - page 381 / 580
» On the Convergence of Immune Algorithms
Sort
View
ICC
2009
IEEE
135views Communications» more  ICC 2009»
16 years 29 days ago
Rate Distortion Optimization for Mesh-Based P2P Video Streaming
—This paper addresses the problem of optimal rate allocation for video streaming in a multi-path peer-to-peer mesh network. We present a distributed rate allocation algorithm tha...
Tareq Hossain, Yi Cui, Yuan Xue
TASE
2009
IEEE
16 years 29 days ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 26 days ago
On the generation of feasible paths for aerial robots in environments with obstacles
— This paper presents a methodology based on a variation of the Rapidly-exploring Random Trees (RRTs) that generates feasible trajectories for autonomous aerial vehicles with hol...
Douglas Guimarães Macharet, Armando Alves N...
SCALESPACE
2009
Springer
16 years 23 days ago
On Level-Set Type Methods for Recovering Piecewise Constant Solutions of Ill-Posed Problems
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
Adriano DeCezaro, Antonio Leitão, Xue-Cheng...
DOCENG
2009
ACM
16 years 22 days ago
Differential synchronization
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
Neil Fraser