Sciweavers

1664 search results - page 244 / 333
» Testing in the Component Age
Sort
View
BIRTHDAY
2007
Springer
15 years 4 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
CIVR
2007
Springer
103views Image Analysis» more  CIVR 2007»
15 years 4 months ago
The value of stories for speech-based video search
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
Bouke Huurnink, Maarten de Rijke
CLEF
2007
Springer
15 years 4 months ago
GeoCLEF 2007: The CLEF 2007 Cross-Language Geographic Information Retrieval Track Overview
GeoCLEF ran as a regular track for the second time within the Cross Language Evaluation Forum (CLEF) 2007. The purpose of GeoCLEF is to test and evaluate cross-language geographic ...
Thomas Mandl, Fredric C. Gey, Giorgio Maria Di Nun...
FASE
2007
Springer
15 years 4 months ago
EQ-Mine: Predicting Short-Term Defects for Software Evolution
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...
Jacek Ratzinger, Martin Pinzger, Harald Gall
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
15 years 4 months ago
Informative performance metrics for dynamic optimisation problems
Existing metrics for dynamic optimisation are designed primarily to rate an algorithm’s overall performance. These metrics show whether one algorithm is better than another, but...
Stefan Bird, Xiaodong Li