1859 search results - page 158 / 372 » Sketch-based path design |
191
Voted
WD
2010
15 years 1 months ago
2010
This paper deals with the routing in cognitive mobile ad hoc networks. We propose to modify the widely adopted Ad-hoc On-demand Distance Vector (AODV) protocol [1] in order to assu...
160
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- Vision-based control of a robot formation is challenging because the on-board sensor (camera) only provides the view-angle to the other moving robots, but not the distan...
208
Voted
ECCV
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Graph cuts has emerged as a preferred method to solve a class of energy minimization problems in computer vision. It has been shown that graph cut algorithms designed kee...
168
Voted
FORTE
2011
14 years 7 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
242
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...