Sciweavers

3162 search results - page 351 / 633
» Transformations for semi-continuous data
Sort
View
EFDBS
2000
15 years 8 months ago
Adding Conflict Resolution Features to a Query Language for Database Federations
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
Kai-Uwe Sattler, Stefan Conrad, Gunter Saake
AMW
2009
15 years 7 months ago
T3: On Mapping Text To Time Series
We investigate if the mapping between text and time series data is feasible such that relevant data mining problems in text can find their counterparts in time series (and vice ver...
Tao Yang, Dongwon Lee
APLAS
2010
ACM
15 years 7 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
DBKDA
2010
IEEE
219views Database» more  DBKDA 2010»
15 years 6 months ago
GN-DTD: Graphical Notations for Describing XML Documents
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
Zurinahni Zainol, Bing Wang
ICDE
2010
IEEE
183views Database» more  ICDE 2010»
15 years 6 months ago
A first step towards integration independence
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
Laura M. Haas, Renée J. Miller, Donald Koss...