Sciweavers

5344 search results - page 195 / 1069
» Privacy-Preserving Set Operations
Sort
View
106
Voted
CAISE
2005
Springer
15 years 9 months ago
A General Approach to the Generation of Conceptual Model Transformations
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
Nikolaos Rizopoulos, Peter McBrien
133
Voted
CAV
2004
Springer
96views Hardware» more  CAV 2004»
15 years 9 months ago
Widening Arithmetic Automata
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
Constantinos Bartzis, Tevfik Bultan
GECCO
2004
Springer
15 years 9 months ago
Improving the Locality Properties of Binary Representations
Abstract. Choosing representations and operators that preserve locality between genotype and phenotype space is an important goal in EA design. In the GA literature there has been ...
Adrian Grajdeanu, Kenneth A. De Jong
161
Voted
IDEAS
2003
IEEE
100views Database» more  IDEAS 2003»
15 years 8 months ago
Querying XML Data by the Nested Relational Sequence Database System
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
Ho Lam Lau, Wilfred Ng
ILP
2003
Springer
15 years 8 months ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel