8 search results - page 1 / 2 » Inductive Databases of Polynomial Equations |
DAWAK
2004
Springer
13 years 10 months ago
2004
Springer
PODS
2006
ACM
14 years 5 months ago
2006
ACM
Data exchange deals with inserting data from one database into another database having a different schema. We study and solve a central computational problem of data exchange, nam...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
KDD
1995
ACM
13 years 8 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
KDD
2003
ACM
14 years 5 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...