10 search results - page 2 / 2 » On Using Simplification and Correction Tables for Integrity ... |
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
COLING
1992
13 years 5 months ago
1992
This paper presents a morphological lexicon for English that handle more than 317000 inflected forms derived from over 90000 stems. The lexicon is available in two formats. The fi...
KDD
2004
ACM
13 years 10 months ago
2004
ACM
Using SQL has not been considered an efficient and feasible way to implement data mining algorithms. Although this is true for many data mining, machine learning and statistical a...
EDBT
2006
ACM
14 years 4 months ago
2006
ACM
Federated queries are regular relational queries accessing data on one or more remote relational or non-relational data sources, possibly combining them with tables stored in the ...
ELPUB
2007
ACM
13 years 8 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...