12946 search results - page 165 / 2590 » Natural Language Processing |
173
click to vote
FLAIRS
1998
15 years 7 months ago
1998
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
186
click to vote
SOSL
1993
15 years 10 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
171
click to vote
IMCSIT
2010
15 years 4 months ago
2010
In this paper we discuss the problem of building the Polish lexicon for the Cyc ontology. As the ontology is very large and complex we describe semi-automatic translation of part o...