Sciweavers

137 search results - page 17 / 28
» Optimising Node Coordinates for the Shortest Path Problem
Sort
View
ENGL
2007
94views more  ENGL 2007»
13 years 7 months ago
Common subproofs in proof pairs
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
Guillermo Morales-Luna
SMC
2010
IEEE
228views Control Systems» more  SMC 2010»
13 years 5 months ago
A safe communication scheme for an intelligent Wireless Networked Control System Coordination Agent
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...
James H. Taylor, Hazem M. S. Ibrahim, Jeff Slipp, ...
ICRA
2008
IEEE
140views Robotics» more  ICRA 2008»
14 years 1 months ago
Dynamic visibility checking for vision-based motion planning
— An important problem in position-based visual servoing (PBVS) is to guarantee that a target will remain within the field of view for the duration of the task. In this paper, w...
Simon Léonard, Elizabeth A. Croft, James J....
SODA
2010
ACM
201views Algorithms» more  SODA 2010»
14 years 4 months ago
Efficient Broadcast on Random Geometric Graphs
A Random Geometric Graph (RGG) in two dimensions is constructed by distributing n nodes independently and uniformly at random in [0, n ]2 and creating edges between every pair of...
Milan Bradonji, Robert Elsässer, Tobias Friedrich...
MOBICOM
2003
ACM
14 years 18 days ago
Minimum energy disjoint path routing in wireless ad-hoc networks
We develop algorithms for finding minimum energy disjoint paths in an all-wireless network, for both the node and linkdisjoint cases. Our major results include a novel polynomial...
Anand Srinivas, Eytan Modiano