681 search results - page 90 / 137 » Combining Theorem Proving with Natural Language Processing |
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
NAACL
1994
14 years 11 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
EMNLP
2010
14 years 7 months ago
2010
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...
EMNLP
2011
13 years 9 months ago
2011
We consider the problem of performing learning and inference in a large scale knowledge base containing imperfect knowledge with incomplete coverage. We show that a soft inference...
NLPRS
2001
Springer
15 years 2 months ago
2001
Springer
Recently, dependency grammar has become quite popular in relatively free word-order languages. We encounter many structural ambiguities when parsing a sentence using dependency gr...