4761 search results - page 729 / 953 » Generalizing Boundary Points |
133
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
All mobile robots require some form of motion control in order to exhibit interesting autonomous behaviors. This is even more essential for multi-robot, highly-dynamic environment...
183
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
116
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We consider the problem of efficient information retrieval in asymmetric communication environments where multiple clients with limited resources retrieve information from a power...
127
click to vote
GD
1998
Springer
15 years 8 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
141
click to vote
3DIM
1997
IEEE
15 years 8 months ago
1997
IEEE
In general, multiple views are required to create a complete 3-D model of an object or of a multi-roomed indoor scene. In this work, we address the problem of merging multiple tex...