2006 search results - page 211 / 402 » MUC-5 evaluation metrics |
120
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
PATMOS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...
102
click to vote
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
109
click to vote
TAL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
100
click to vote
DFT
2003
IEEE
15 years 7 months ago
2003
IEEE
Increased leakage and process variations make distinction between fault-free and faulty chips by IDDQ test difficult. Earlier the concept of Current Ratios (CR) was proposed to sc...