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 ...
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...
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...
— 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...
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...