4313 search results - page 415 / 863 » Using time travel to diagnose computer problems |
231
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
203
click to vote
BROADNETS
2007
IEEE
16 years 2 months ago
2007
IEEE
Fast convergence to topology changes is a key requirement in modern routing infrastructure while reducing the protocol CPU overhead continues to be as important as before. In this...
154
click to vote
FOCS
2003
IEEE
16 years 1 months ago
2003
IEEE
In this paper, we give the rst constant-factor approximationalgorithmfor the rooted Orienteering problem, as well as a new problem that we call the Discounted-Reward TSP, motivate...
208
click to vote
FOCS
2008
IEEE
16 years 2 months ago
2008
IEEE
This work investigates a geometric approach to proving cell probe lower bounds for data structure problems. We consider the approximate nearest neighbor search problem on the Bool...
199
click to vote
ISWC
2003
IEEE
16 years 29 days ago
2003
IEEE
All wearable centric location sensing technologies must address the issue of clock synchronisation between signal transmitting systems and signal receiving systems. GPS receivers,...