Learn More
Text Retrieval systems based on ranking use similarity as an approximation to relevance. Most of these systems ignore word meaning. We assume that some measure of paraphrase would be a better similarity measure. We develop a concept of paraphrase based on Meaning-Text Theory and implement an approximation to the ideal using the Longman Dictionary of(More)
Recall and Precision have become the principle measures of the effectiveness of information retrieval systems. Inherent in these measures of performance is the idea of a relevant document, Although recall and precision are easily and unambiguously defined, selecting the documents relevant to a query has long been recognized as problematic. To compare(More)
| Recall and Precision have become the principle measures of the eeectiveness of information retrieval systems. Inherent in these measures of performance is the idea of a relevant document. Although recall and precision are easily and unambiguously deened, selecting the documents relevant to a query has long been recognised as problematic. To compare(More)
Our work involves the study of the extent to which natural language processing techniques aid the automatic indexing and retrieval of documents. In this paper we describe the use of signature files in large text retrieval systems. We show that good performance can be obtained without requiring the significant overheads required for the inverted file(More)
In this paper, we present a durational process algebra incorporating syntactic action refinement. We study its correct-ness with respect to the semantic refinement in an interleaving model, namely the labelled transition systems. This defined refinement is compositional over the language operators and may provide at a given level of abstraction a timed(More)