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 11 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 7 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 7 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
200
Voted
BTW
2005
Springer
107views Database» more  BTW 2005»
16 years 18 days 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
16 years 9 days 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