681 search results - page 76 / 137 » Combining Theorem Proving with Natural Language Processing |
IR
2000
14 years 9 months ago
2000
Past research has identified many different types of relevance in information retrieval (IR). So far, however, most evaluation of IR systems has been through batch experiments cond...
TAL
2010
Springer
14 years 8 months ago
2010
Springer
We need to analyse a large number of e-mails sent by the citizens to the customer services department of a governmental organisation based in Sweden. To carry out this analysis we ...
EMNLP
2010
14 years 7 months ago
2010
In this paper, we investigate how modeling content structure can benefit text analysis applications such as extractive summarization and sentiment analysis. This follows the lingu...
EMNLP
2009
14 years 7 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
EMNLP
2009
14 years 7 months ago
2009
This paper proposes a method that speeds up a classifier trained with many conjunctive features: combinations of (primitive) features. The key idea is to precompute as partial res...