3238 search results - page 382 / 648 » On the Computational Interpretation of Negation |
188
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
166
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
163
click to vote
ETRA
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we evaluate several of the most popular algorithms for segmenting fixations from saccades by testing these algorithms on the scanning patterns of toddlers. We show t...
159
Voted
COLING
2008
15 years 8 months ago
2008
Creative metaphor is a phenomenon that stretches and bends the conventions of semantic description, often to humorous and poetic extremes. The computational modeling of metaphor t...
143
click to vote
LREC
2010
15 years 8 months ago
2010
We describe a new task-based corpus in the Spanish language. The corpus consists of videos, transcripts, and annotations of the interaction between a naive speaker and a confedera...