681 search results - page 108 / 137 » Combining Theorem Proving with Natural Language Processing |
68
Voted
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a deterministic dependency structure analyzer for Chinese. This analyzer implements two algorithms – Yamada and Nivre models – and two sorts of class...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present a noun phrase coreference resolution system which aims to enhance the identification of the coreference realized by string matching. For this purpose, we ...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Today’s distributed e-commerce applications typically rely upon various technologies in their realization, including the web, scripting languages, server-side processing and an ...
WIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...