15033 search results - page 2749 / 3007 » Complexity Theory and Algorithms |
163
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...
190
click to vote
SAC
1995
ACM
15 years 9 months ago
1995
ACM
Experiments in High Energy Physics (HEP) generate tremendous amounts of data. For example, the accelerator at CERN is expected to generate petabytes per year. New HEP discoveries ...
195
click to vote
EDBT
1992
ACM
15 years 9 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
141
click to vote
SC
1991
ACM
15 years 9 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
154
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...