Sciweavers

1058 search results - page 139 / 212
» Search Strategies for Automatic Performance Analysis Tools
Sort
View
CLEF
2006
Springer
15 years 1 months ago
A Penalisation-Based Ranking Approach for the Mixed Monolingual Task of WebCLEF 2006
This paper presents an approach of a cross-lingual information retrieval which uses a ranking method based on a penalisation version of the Jaccard formula. The obtained results a...
David Pinto, Paolo Rosso, Ernesto Jiménez
CIVR
2005
Springer
165views Image Analysis» more  CIVR 2005»
14 years 11 months ago
The Use and Utility of High-Level Semantic Features in Video Retrieval
Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...
Michael G. Christel, Alexander G. Hauptmann
RE
2006
Springer
14 years 9 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer
HYBRID
2000
Springer
15 years 1 months ago
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju...
EDCC
1999
Springer
15 years 2 months ago
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi