Sciweavers

9105 search results - page 388 / 1821
» Design of the MUC-6 evaluation
Sort
View
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 8 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Implications of Inter-Rater Agreement on a Student Information Retrieval Evaluation
This paper is about an information retrieval evaluation on three different retrieval-supporting services. All three services were designed to compensate typical problems that aris...
Philipp Schaer, Philipp Mayr, Peter Mutschke
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
Semantics and Evaluation of Top-k Queries in Probabilistic Databases
Abstract. We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are asso...
Xi Zhang, Jan Chomicki
ACL
2010
15 years 4 months ago
Automatic Evaluation of Linguistic Quality in Multi-Document Summarization
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...
Emily Pitler, Annie Louis, Ani Nenkova
EUROPAR
1999
Springer
15 years 11 months ago
An Evaluation of High Performance Fortran Compilers Using the HPFBench Benchmark Suite
Abstract. The High Performance Fortran (HPF) benchmark suite HPFBench was designed for evaluating the HPF language and compilers on scalable architectures. The functionality of the...
Guohua Jin, Y. Charlie Hu