672 search results - page 116 / 135 » On the Expressive Power of the Loop Language |
116
click to vote
COLING
1992
15 years 3 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
129
click to vote
EDBT
2012
ACM
13 years 4 months ago
2012
ACM
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...
112
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
185
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...
115
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...