1724 search results - page 34 / 345 » Abstract Interpreters for Free |
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
14 years 11 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...
AMTA
1998
Springer
15 years 2 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 ...
CIMCA
2006
IEEE
15 years 4 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...
ENTCS
2007
14 years 10 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a new “content-free” image retrieval method which attempts to exploit certain common tendencies that exist among people’s interpretation of images from user feedb...