Sciweavers

4201 search results - page 480 / 841
» Interaction graphs: Additives
Sort
View
158
Voted
ICRA
2008
IEEE
135views Robotics» more  ICRA 2008»
16 years 1 months ago
Decentralized connectivity maintenance in mobile networks with bounded inputs
Abstract— A distributed control law that guarantees connectivity maintenance in a network of multiple mobile agents is presented. The control law respects the limited sensing cap...
Dimos V. Dimarogonas, Karl Henrik Johansson
LICS
2008
IEEE
16 years 1 months ago
A Neutral Approach to Proof and Refutation in MALL
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
Olivier Delande, Dale Miller
186
Voted
SASP
2008
IEEE
77views Hardware» more  SASP 2008»
16 years 1 months ago
Resource Sharing in Custom Instruction Set Extensions
Abstract—Customised processor performance generally increases as additional custom instructions are added. However, performance is not the only metric that modern systems must ta...
Marcela Zuluaga, Nigel P. Topham
329
Voted
3DIM
2007
IEEE
16 years 1 months ago
Surface Reconstruction from Point Clouds by Transforming the Medial Scaffold
We propose an algorithm for surface reconstruction from unorganized points based on a view of the sampling process as a deformation from the original surface. In the course of thi...
Ming-Ching Chang, Frederic F. Leymarie, Benjamin B...
171
Voted
ICDCS
2007
IEEE
16 years 1 months ago
Scale-Free Overlay Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks
In unstructured peer-to-peer (P2P) networks, the overlay topology (or connectivity graph) among peers is a crucial component in addition to the peer/data organization and search. ...
Hasan Guclu, Murat Yuksel