7890 search results - page 1273 / 1578 » The MathSAT 3 System |
170
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of studies have shown that paper holds several advantages over computers for reading tasks. However, these studies were carried out several years ago, and since that time...
176
click to vote
AIED
2007
Springer
16 years 27 days ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
184
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
186
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
174
click to vote
CLEF
2007
Springer
16 years 27 days ago
2007
Springer
This paper describes QAST, a pilot track of CLEF 2007 aimed at evaluating the task of Question Answering in Speech Transcripts. The paper summarizes the evaluation framework, the ...