2835 search results - page 204 / 567 » Automatic Question Answering |
138
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
118
Voted
INEX
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes the retrieval approach proposed by the SIG/EVI group of the IRIT research centre in INEX’2004 evaluation. The approach uses a voting method coupled with some...
129
Voted
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
We describe a user study that examined the relationship between the quality of an Information Retrieval system and the effectiveness of its users in performing a task. The task i...
120
Voted
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Survey coding is the task of assigning a symbolic code from a predefined set of such codes to the answer given in response to an open-ended question in a questionnaire (aka surve...
139
click to vote
IADIS
2008
15 years 6 months ago
2008
An e-learning system based on Ajax has been developed. Ajax enables Web users to upload user commands and download new information without the need for a page refresh. Various e-l...