1867 search results - page 227 / 374 » Model-Checking Based Data Retrieval |
158
click to vote
IADIS
2008
15 years 8 months ago
2008
S Stemming is a fundamental step in processing textual data preceding the tasks of information retrieval, text mining, and natural language processing. The common goal of stemming ...
162
click to vote
EHCI
2001
15 years 8 months ago
2001
Handheld appliances such as PDAs, organisers or electronic pens are currently very popular. Handhelds are used to enter and retrieve useful information, e.g., dates, to do lists, m...
163
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
224
click to vote
PR
2011
14 years 9 months ago
2011
In this paper, we describe an approach for the automatic medical annotation task of the 2008 CLEF cross-language image retrieval campaign (ImageCLEF). The data comprise 12076 full...
279
click to vote
ERCIMDL
2011
Springer
14 years 6 months ago
2011
Springer
In the information retrieval context, resource collections are frequently classified using thesauri. However, the limited semantics provided by thesauri restricts the collection s...