Sciweavers

2711 search results - page 271 / 543
» Convergence of the Wake-Sleep Algorithm
Sort
View
TASE
2009
IEEE
15 years 11 months 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»
15 years 11 months 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...
135
Voted
SCALESPACE
2009
Springer
15 years 11 months 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
15 years 11 months 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
CDC
2008
IEEE
15 years 11 months ago
Effects of topology in networked systems: Stochastic methods and small worlds
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
John S. Baras, Pedram Hovareshti