2056 search results - page 246 / 412 » time 2000 |
162
click to vote
PODC
2000
ACM
15 years 9 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
184
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
180
click to vote
QOFIS
2000
Springer
15 years 9 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
165
click to vote
ROBOCUP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper describes adaptive path planning, a novel approach to path planning for car-like mobile robots. Instead of creating a new plan from scratch, whenever changes i...
165
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
We present an algorithm for out-of-core simplification of large polygonal datasets that are too complex to fit in main memory. The algorithm extends the vertex clustering scheme o...