681 search results - page 71 / 137 » Combining Theorem Proving with Natural Language Processing |
GIL
2009
14 years 7 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
ENTCS
2007
14 years 9 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
155
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper extends language identiļ¬cation (LID) techniques to a large scale accent classiļ¬cation task: 23-way classiļ¬cation of foreign-accented English. We ļ¬nd that a pure...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...