Sciweavers

2210 search results - page 98 / 442
» CLEF 2001 - Overview of Results
Sort
View
SPIRE
2001
Springer
14 years 2 months ago
Evaluation of N-grams Conflation Approach in Text-Based Information Retrieval
Abstract. This paper examines a conflation method based on the N-grams approach and evaluates its performance relative to the results achieved by other techniques such as Porter a...
S. Kosinov
TSD
2001
Springer
14 years 2 months ago
Finding Semantically Related Words in Large Corpora
The paper deals with the linguistic problem of fully automatic grouping of semantically related words. We discuss the measures of semantic relatedness of basic word forms and descr...
Pavel Smrz, Pavel Rychlý
ACSAC
2001
IEEE
14 years 1 months ago
Abuse-Case-Based Assurance Arguments
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
John P. McDermott
APSEC
2001
IEEE
14 years 1 months ago
Model Checking Object-Z Classes: Some Experiments with FDR
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
Geoff Kassel, Graeme Smith
ARITH
2001
IEEE
14 years 1 months ago
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
We give the results of our search for the worst cases for correct rounding of the major elementary functions in double precision floating-point arithmetic. These results allow the...
Vincent Lefèvre, Jean-Michel Muller