Sciweavers

6465 search results - page 1097 / 1293
» On the Evaluation of Quality of Context
Sort
View
SAC
2006
ACM
13 years 8 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
IJCV
2007
211views more  IJCV 2007»
13 years 8 months ago
The CLEF 2005 Automatic Medical Image Annotation Task
In this paper, the automatic annotation task of the 2005 CLEF cross-language image retrieval campaign (ImageCLEF) is described. This paper focuses on the database used, the task s...
Thomas Deselaers, Henning Müller, Paul Clough...
TASLP
2008
154views more  TASLP 2008»
13 years 8 months ago
Capturing Local Variability for Speaker Normalization in Speech Recognition
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
Antonio Miguel, Eduardo Lleida, Richard Rose, Luis...
TC
2008
13 years 8 months ago
Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in ...
Patricia Balbastre, Ismael Ripoll, Alfons Crespo
IPM
2007
123views more  IPM 2007»
13 years 8 months ago
Using query logs to establish vocabularies in distributed information retrieval
Users of search engines express their needs as queries, typically consisting of a small number of terms. The resulting search engine query logs are valuable resources that can be ...
Milad Shokouhi, Justin Zobel, Seyed M. M. Tahaghog...
« Prev « First page 1097 / 1293 Last » Next »