3238 search results - page 82 / 648 » On the Computational Interpretation of Negation |
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
EUROPAR
2007
Springer
14 years 4 months ago
2007
Springer
Publish/subscribe systems provide a useful paradigm for selective data dissemination and most of the complexity related to addressing and routing is encapsulated within the network...
COLING
2002
13 years 9 months ago
2002
For meaning representations in NLP, we focus our attention on thematic aspects and conceptual vectors. The learning strategy of conceptual vectors relies on a morphosyntaxic analy...
MFCS
2001
Springer
14 years 2 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Recent adaptive image interpretation systems can reach optimal performance for a given domain via machine learning, without human intervention. The policies are learned over an ex...