636 search results - page 97 / 128 » Understanding knowledge as a commons: From theory to practic... |
136
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
130
click to vote
JACM
2010
14 years 8 months ago
2010
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
123
click to vote
SIAMDM
1998
15 years 1 months ago
1998
For every string inclusion relation there are two optimization problems: find a longest string included in every string of a given finite language, and find a shortest string in...
126
click to vote
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
Recently, inductive databases (IDBs) have been proposed to tackle the problem of knowledge discovery from huge databases. With an IDB, the user/analyst performs a set of very diffe...
107
click to vote
KRMED
2008
15 years 3 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...