3238 search results - page 60 / 648 » On the Computational Interpretation of Negation |
CSL
2005
Springer
14 years 3 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
APVIS
2007
13 years 11 months ago
2007
Visual similarity matrices (VSMs) are a common technique for visualizing graphs and other types of relational data. While traditionally used for small data sets or well-ordered la...
JAIR
2006
13 years 9 months ago
2006
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
JMIV
2008
13 years 10 months ago
2008
In this paper we propose a comprehensive method for detecting straight line segments in any digital image, accurately controlling both false positive and false negative detections....
WWW
2010
ACM
14 years 4 months ago
2010
ACM
We describe improvements to the use of semantic lexicons by a state-of-the-art query interpretation system powering a major search engine. We successfully compute concept label im...