Sciweavers

3758 search results - page 585 / 752
» A Complete Subsumption Algorithm
Sort
View
SIGMOD
1999
ACM
87views Database» more  SIGMOD 1999»
15 years 2 months ago
On Random Sampling over Joins
A major bottleneck in implementing sampling as a primitive relational operation is the ine ciency ofsampling the output of a query. It is not even known whether it is possible to ...
Surajit Chaudhuri, Rajeev Motwani, Vivek R. Narasa...
ICRA
1999
IEEE
138views Robotics» more  ICRA 1999»
15 years 2 months ago
Efficient Topological Exploration
We consider the robot exploration of a planar graphlike world. The robot's goal is to build a complete map of its environment. The environment is modeled as an arbitrary undi...
Ioannis M. Rekleitis, Vida Dujmovic, Gregory Dudek
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 2 months ago
Clustering of Qualitative Contact States for a Transmission Assembly
Current manufacturing methods for robotic-controlled assembly rely on accurate positioning to ensure task completion, often through the use of special xtures and precise calibrati...
Marjorie Skubic, Benjamin Forrester, Brent Nowak
IPPS
1999
IEEE
15 years 2 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
DAWAK
1999
Springer
15 years 2 months ago
Dynamic Data Warehouse Design
A data warehouse DW can be seen as a set of materialized views de ned over remote base relations. When a query is posed, it is evaluated locally, using the materialized views, wi...
Dimitri Theodoratos, Timos K. Sellis