3658 search results - page 575 / 732 » The logic of proofs, semantically |
151
click to vote
SSDBM
1998
IEEE
15 years 10 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
150
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
134
click to vote
FOIS
2008
15 years 8 months ago
2008
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
165
click to vote
OWLED
2008
15 years 8 months ago
2008
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
175
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...