681 search results - page 109 / 137 » Combining Theorem Proving with Natural Language Processing |
98
Voted
EMNLP
2008
14 years 11 months ago
2008
The Named Entity Recognition (NER) task has been garnering significant attention in NLP as it helps improve the performance of many natural language processing applications. In th...
LREC
2008
14 years 11 months ago
2008
We propose in this paper an automatic evaluation procedure based on a metric which could provide summary evaluation without human assistance. Our system includes two metrics, whic...
70
Voted
DS
2001
14 years 11 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
IJCAI
1993
14 years 11 months ago
1993
Constraint satisfaction problems involve finding values for problem variables that satisfy constraints on what combinations of values are permitted. They have applications in many...
74
Voted
JCIT
2010
14 years 4 months ago
2010
So far, most Chinese natural language processing neglects the punctuations or oversimplifies their functi- ons. To improve the efficiency of Chinese similarity computing, this pap...