Sciweavers

2786 search results - page 402 / 558
» A Practical Technique for Process Abstraction
Sort
View
EDBT
1998
ACM
155views Database» more  EDBT 1998»
15 years 10 months ago
Improving the Query Performance of High-Dimensional Index Structures by Bulk-Load Operations
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...
Stefan Berchtold, Christian Böhm, Hans-Peter ...
CSDA
2007
76views more  CSDA 2007»
15 years 6 months ago
Applications of TLS and related methods in the environmental sciences
Rainfall-Runoff and Signal Separation Problems: The process of converting rainfall into runoff is a highly nonlinear problem due to the soil-water interaction that starts when r...
José A. Ramos
ICFP
2008
ACM
16 years 6 months ago
Typed closure conversion preserves observational equivalence
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
Amal Ahmed, Matthias Blume
BTW
2005
Springer
107views Database» more  BTW 2005»
15 years 12 months ago
DBMS Architecture - Still an Open Problem
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
Theo Härder
TPHOL
2003
IEEE
15 years 11 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters