390 search results - page 31 / 78 » Computing shortest paths for any number of hops |
122
click to vote
ENGL
2007
15 years 1 months ago
2007
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...
101
click to vote
DCOSS
2007
Springer
15 years 5 months ago
2007
Springer
The exposure of a path p is a measure of the likelihood that an object traveling along p is detected by a network of sensors and it is formally defined as an integral over all poin...
119
click to vote
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that random graphs in the preferential connectivity model have constant conductance, and hence have worst-case routing congestion that scales logarithmically with the numb...
116
click to vote
COMGEO
1998
ACM
15 years 1 months ago
1998
ACM
A common task in automated manufacturing processes is to orient parts prior to assembly. We consider sensorless orientation of a polygonal part by a sequence of fences. We show th...
160
click to vote
ACID
2006
15 years 3 months ago
2006
In a congestion game, several players simultaneously aim at allocating sets of resources, e.g., each player aims at allocating a shortest path between a source/destination pair in ...