Sciweavers

653 search results - page 78 / 131
» The stepping stones project
Sort
View
ICDE
2006
IEEE
135views Database» more  ICDE 2006»
16 years 1 months ago
Reverse Nearest Neighbors Search in Ad-hoc Subspaces
Given an object q, modeled by a multidimensional point, a reverse nearest neighbors (RNN) query returns the set of objects in the database that have q as their nearest neighbor. I...
Man Lung Yiu, Nikos Mamoulis
EGC
2005
Springer
15 years 5 months ago
A Grid Architecture for Comfortable Robot Control
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...
Stéphane Vialle, Amelia De Vivo, Fabrice Sa...
VRST
1999
ACM
15 years 4 months ago
Fast calibration for augmented reality
Augmented Reality overlays computer generated images over the real world. To correctly depict spatial relations between real and virtual objects, these images have to be generated...
Anton L. Fuhrmann, Dieter Schmalstieg, Werner Purg...
VISUALIZATION
1999
IEEE
15 years 4 months ago
Rendering on a Budget: A Framework for Time-Critical Rendering
We present a technique for optimizing the rendering of highdepth complexity scenes. Prioritized-Layered Projection (PLP) does this by rendering an estimation of the visible set fo...
James T. Klosowski, Cláudio T. Silva
CAV
1998
Springer
175views Hardware» more  CAV 1998»
15 years 4 months ago
An ACL2 Proof of Write Invalidate Cache Coherence
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
J. Strother Moore