681 search results - page 96 / 137 » Combining Theorem Proving with Natural Language Processing |
ER
1999
Springer
15 years 2 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
ACL
2003
14 years 11 months ago
2003
Phrasal Verbs are an important feature of the English language. Properly identifying them provides the basis for an English parser to decode the related structures. Phrasal verbs ...
IJIT
2004
14 years 11 months ago
2004
This paper describes our work on Bengali Part of Speech (POS) tagging using a corpus-based approach. There are several approaches for part of speech tagging. This paper deals with ...
ENTCS
2007
14 years 9 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...