1422 search results - page 30 / 285 » Complementation in Abstract Interpretation |
187
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
130
click to vote
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
15 years 7 months ago
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...
175
click to vote
AMTA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present an approach to semantic interpretation of syntactically parsed Japanese sentences that works largely parser-independent. The approach relies on a standardized ...
142
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
125
click to vote
CIMCA
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract. We describe Scusi?, a multi-stage, spoken language interpretation mechanism designed to be part of a robot-mounted dialogue system. Scusi?’s interpretation process maps...