Sciweavers

4842 search results - page 404 / 969
» A Calculus for Data Mapping
Sort
View
225
Voted
WOLLIC
2010
Springer
15 years 5 months ago
Intersection Type Systems and Explicit Substitutions Calculi
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...
IDEAS
2007
IEEE
118views Database» more  IDEAS 2007»
16 years 1 months ago
A Two Layered Approach for Querying Integrated XML Sources
The problem of data integration (query decomposition, data fragmentation) has been widely studied in literature, but the inherent hierarchical nature of XML data presents problems...
Felipe Victolla Silveira, Carlos A. Heuser
CAISE
2005
Springer
16 years 11 days ago
BInXS: A Process for Integration of XML Schemata
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
Ronaldo dos Santos Mello, Carlos A. Heuser
CVDB
2004
ACM
16 years 7 days ago
A Case Study on Array Query Optimisation
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
Roberto Cornacchia, Alex van Ballegooij, Arjen P. ...
TIP
2011
164views more  TIP 2011»
15 years 1 months ago
Multiregion Image Segmentation by Parametric Kernel Graph Cuts
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed