Sciweavers

3624 search results - page 402 / 725
» Abstract Algebraic Logic
Sort
View
ER
2004
Springer
93views Database» more  ER 2004»
16 years 3 days ago
Schema Versioning in Data Warehouses
Abstract. As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage ...
Matteo Golfarelli, Jens Lechtenbörger, Stefan...
ICALP
2004
Springer
16 years 3 days ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
Olivier Bournez, Emmanuel Hainry
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
16 years 2 days ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
PARA
2004
Springer
16 years 2 days ago
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
Abbas Edalat, Dirk Pattinson
SDMW
2004
Springer
16 years 2 days ago
Achieving Privacy Preservation when Sharing Data for Clustering
Abstract. In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements an...
Stanley R. M. Oliveira, Osmar R. Zaïane