5130 search results - page 794 / 1026 » Constraint Query Languages |
204
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
178
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
181
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Translation of proper names is generally recognized as a significant problem in many multi-lingual text and speech processing applications. Even when large bilingual lexicons use...
175
click to vote
EDBT
1990
ACM
15 years 10 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
159
click to vote
AAAI
1994
15 years 7 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...