2180 search results - page 374 / 436 » A Framework of Evaluation for Question-Answering Systems |
103
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
140
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
112
click to vote
KDD
2004
ACM
15 years 7 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
106
click to vote
SAMOS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...