681 search results - page 45 / 137 » Combining Theorem Proving with Natural Language Processing |
NLDB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
LREC
2010
14 years 11 months ago
2010
We present an experimental framework for Entity Mention Detection in which two different classifiers are combined to exploit Data Redundancy attained through the annotation of a l...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
We describe a novel simple and highly scalable semi-supervised method called Word-Class Distribution Learning (WCDL), and apply it the task of information extraction (IE) by utili...
AIRS
2004
Springer
15 years 1 months ago
2004
Springer
Abundant Chinese paraphrasing resource on Internet can be attained from different Chinese translations of one foreign masterpiece. Paraphrases corpus is the corpus that includes s...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...