Sciweavers

776 search results - page 118 / 156
» Distributed Information Regularization on Graphs
Sort
View
PERCOM
2004
ACM
16 years 1 months ago
Analyzing Connectivity-Based Multi-Hop Ad-hoc Positioning
We investigate the theoretical limits of positioning algorithms. In particular, we study scenarios where the nodes do not receive anchors directly (multi-hop) and where no physica...
Regina Bischoff, Roger Wattenhofer
TASE
2009
IEEE
15 years 8 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
CAIP
2009
Springer
200views Image Analysis» more  CAIP 2009»
15 years 8 months ago
Recognition-Based Segmentation of Nom Characters from Body Text Regions of Stele Images Using Area Voronoi Diagram
Segmentation of Nom characters from body text regions of stele images is a challenging problem due to the confusing spatial distribution of the connected components composing these...
Thai V. Hoang, Salvatore Tabbone, Ngoc-Yen Pham
CDC
2008
IEEE
15 years 8 months ago
Passivity-based output synchronization and flocking algorithm in SE(3)
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
Yuji Igarashi, Takeshi Hatanaka, Masayuki Fujita, ...
INFOCOM
2007
IEEE
15 years 8 months ago
Towards Topology Aware Networks
— We focus on efficient protocols that enhance a network with topology awareness. We discuss centralized algorithms with provable performance, and introduce decentralized asynch...
Christos Gkantsidis, Gagan Goel, Milena Mihail, Am...