Sciweavers

24444 search results - page 364 / 4889
» A Data Model for Data Integration
Sort
View
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 11 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
DBPL
1991
Springer
76views Database» more  DBPL 1991»
15 years 10 months ago
A Functional DBPL Revealing High Level Optimizations
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
Martin Erwig, Udo W. Lipeck
ICAPR
2005
Springer
16 years 6 days ago
Missing Data Estimation Using Polynomial Kernels
Abstract. In this paper, we deal with the problem of partially observed objects. These objects are defined by a set of points and their shape variations are represented by a statis...
Maxime Berar, Michel Desvignes, Gérard Bail...
FOSSACS
2005
Springer
16 years 6 days ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
BPM
2003
Springer
115views Business» more  BPM 2003»
15 years 10 months ago
Mining Most Specific Workflow Models from Event-Based Data
This paper presents an approach on mining most specific workflow models from event-based data. The approach is embedded in the context of data mining and knowledge discovery in dat...
Guido Schimm