11394 search results - page 2070 / 2279 » Error-Correcting Data Structures |
153
Voted
PRESENCE
1998
15 years 3 months ago
1998
Many multiresolution methods have been proposed. Most of them emphasize accuracy and hence are slow. Some methods may be fast, but they may not preserve the geometry of the model....
116
click to vote
RAS
1998
15 years 3 months ago
1998
We present a new approach to the multi-robot path planning problem, where a number of robots are to change their positions through feasible motions in the same static environment....
110
click to vote
PUC
2002
15 years 3 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
112
click to vote
SPE
1998
15 years 3 months ago
1998
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
117
click to vote
TODAES
1998
15 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...