Sciweavers

501 search results - page 35 / 101
» Simplification of Integrity Constraints for Data Integration
Sort
View
190
Voted
PTS
2010
175views Hardware» more  PTS 2010»
15 years 1 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
125
Voted
SDM
2008
SIAM
140views Data Mining» more  SDM 2008»
15 years 5 months ago
Creating a Cluster Hierarchy under Constraints of a Partially Known Hierarchy
Although clustering under constraints is a current research topic, a hierarchical setting, in which a hierarchy of clusters is the goal, is usually not considered. This paper trie...
Korinna Bade, Andreas Nürnberger
134
Voted
VLDB
1999
ACM
188views Database» more  VLDB 1999»
15 years 8 months ago
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints
Discovering sequential patterns is an important problem in data mining with a host of application domains including medicine, telecommunications, and the World Wide Web. Conventio...
Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim
236
Voted
ICDE
1997
IEEE
92views Database» more  ICDE 1997»
16 years 5 months ago
Distributing Semantic Constraints Between Heterogeneous Databases
In recent years, research about distributing databases over networks has become increasingly important. Here we concentrate on the issues of interoperability of heterogeneous DBMS...
Stefan Grufman, Fredrik Samson, Suzanne M. Embury,...
133
Voted
DS
1997
104views Database» more  DS 1997»
15 years 5 months ago
Managing Constraint Violations in Administrative Information Systems
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex applicat...
I. Boydens, Alain Pirotte, Esteban Zimányi