Sciweavers

805 search results - page 54 / 161
» On the Role of Integrity Constraints in Data Integration
Sort
View
DLOG
2008
15 years 1 days ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer
APVIS
2006
14 years 11 months ago
Knowledge visualization in hepatitis study
Evidence-based medicine (EBM) is a shift in which medicine from being based on individual experience of doctors to evidence with clear background. In this shift, data mining can p...
DucDung Nguyen, Tu Bao Ho, Saori Kawasaki
PTS
2010
175views Hardware» more  PTS 2010»
14 years 7 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
COLING
2008
14 years 11 months ago
Coreference Systems Based on Kernels Methods
Various types of structural information e.g., about the type of constructions in which binding constraints apply, or about the structure of names - play a central role in corefere...
Yannick Versley, Alessandro Moschitti, Massimo Poe...
DOLAP
2005
ACM
14 years 11 months ago
Goal-oriented requirement analysis for data warehouse design
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requireme...
Paolo Giorgini, Stefano Rizzi, Maddalena Garzetti