Sciweavers

4266 search results - page 702 / 854
» Search for More Declarativity
Sort
View
CORR
2008
Springer
95views Education» more  CORR 2008»
13 years 9 months ago
An Indirect Genetic Algorithm for a Nurse Scheduling Problem
This paper describes a Genetic Algorithms approach to a manpower-scheduling problem arising at a major UK hospital. Although Genetic Algorithms have been successfully used for sim...
Uwe Aickelin, Kathryn A. Dowsland
CORR
2008
Springer
114views Education» more  CORR 2008»
13 years 9 months ago
A Simple Linear Ranking Algorithm Using Query Dependent Intercept Variables
The LETOR website contains three information retrieval datasets used as a benchmark for testing machine learning ideas for ranking. Algorithms participating in the challenge are re...
Nir Ailon
CORR
2008
Springer
108views Education» more  CORR 2008»
13 years 9 months ago
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Resolution refinements called w-resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there...
Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen
CORR
2008
Springer
176views Education» more  CORR 2008»
13 years 9 months ago
An evaluation of Bradfordizing effects
The purpose of this paper is to apply and evaluate the bibliometric method Bradfordizing for information retrieval (IR) experiments. Bradfordizing is used for generating core docu...
Philipp Mayr
ESWA
2008
195views more  ESWA 2008»
13 years 9 months ago
Automatic expert identification using a text categorization technique in knowledge management systems
Since tacit knowledge such as know-how and experiences is hard to be managed effectively using information technology, it is recently proposed that providing an appropriate expert...
Kun-Woo Yang, Soon-Young Huh