Sciweavers

716 search results - page 89 / 144
» Adaptive Document Binarization
Sort
View
TREC
2001
15 years 1 months ago
Keep It Simple Sheffield - A KISS Approach to the Arabic Track
Sheffield's participation in the inaugural Arabic cross language track is described here. Our goal was to examine how well one could achieve retrieval of Arabic text with the...
Mark Sanderson, Asaad Alberair
DKE
1998
87views more  DKE 1998»
14 years 11 months ago
Using Natural Language Sources in Model-Based Knowledge Acquisition
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
Gabriele Schmidt, Thomas Wetter
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
14 years 9 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
ICALT
2010
IEEE
15 years 29 days ago
Improve the Output from a MCQ Test Item Generator Using Statistical NLP
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
Robert Michael Foster
CLEF
2011
Springer
13 years 11 months ago
Intrinsic Plagiarism Detection Using Character Trigram Distance Scores - Notebook for PAN at CLEF 2011
Abstract In this paper, we describe a novel approach to intrinsic plagiarism detection. Each suspicious document is divided into a series of consecutive, potentially overlapping â€...
Mike Kestemont, Kim Luyckx, Walter Daelemans