Sciweavers

3678 search results - page 78 / 736
» On the Stable Paths Problem
Sort
View
ICDCS
2010
IEEE
15 years 4 months ago
Guaranteeing BGP Stability with a Few Extra Paths
Abstract—Policy autonomy exercised by Autonomous Systems (ASes) on the Internet can result in persistent oscillations in Border Gateway Protocol, the Internet’s inter-domain ro...
Rachit Agarwal, Virajith Jalaparti, Matthew Caesar...
JACM
2007
84views more  JACM 2007»
15 years 17 days ago
Polymorphic higher-order recursive path orderings
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
Jean-Pierre Jouannaud, Albert Rubio
79
Voted
SIAMDM
2010
95views more  SIAMDM 2010»
14 years 7 months ago
Voting Paths
We consider a matching market, in which the aim is to maintain a popular matching between a set of applicants and a set of posts, where each applicant has a preference list rankin...
David J. Abraham, Telikepalli Kavitha
PRESENCE
2002
119views more  PRESENCE 2002»
15 years 10 days ago
Visual Homing Is Possible Without Landmarks: A Path Integration Study in Virtual Reality
The literature often suggests that proprioceptive and especially vestibular cues are required for navigation and spatial orientation tasks involving rotations of the observer. To ...
Bernhard E. Riecke, Henricus A. H. C. van Veen, He...
96
Voted
SOFSEM
2009
Springer
15 years 9 months ago
The Shortcut Problem - Complexity and Approximation
During the last years, speed-up techniques for DIJKSTRA’s algorithm have been developed that make the computation of shortest paths a matter of microseconds even on huge road net...
Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delli...