3238 search results - page 130 / 648 » On the Computational Interpretation of Negation |
171
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
149
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
181
click to vote
ACL
2012
13 years 8 months ago
2012
Metaphors pervade our language because they are elastic enough to allow a speaker to express an affective viewpoint on a topic without committing to a specific meaning. This balan...
193
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
196
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...