1076 search results - page 138 / 216 » Logical Languages for Data Mining |
JUCS
2006
13 years 8 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
CICLING
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper discusses an approach to topic-oriented multidocument summarization. It investigates the effectiveness of using additional information about the document set ...
DAGSTUHL
2006
13 years 10 months ago
2006
With the new interest in historical documents insight grew that electronic access to these texts causes many specific problems. In the first part of the paper we survey the presen...
IJCPOL
2008
13 years 9 months ago
2008
One of the unique challenges to Chinese Language Processing is cross-strait named entity recognition. Due to the adoption of different transliteration strategies, foreign name tra...
IR
2008
13 years 9 months ago
2008
CLIR resources, such as dictionaries and parallel corpora, are scarce for special domains. Obtaining comparable corpora automatically for such domains could be an answer to this p...