1284 search results - page 58 / 257 » On Helping and Interactive Proof Systems |
FIW
2009
13 years 7 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Several groupware systems support casual real time interaction over distance by providing periodically updated snapshots of other people's offices. People then monitor these ...
AMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...
CLEF
2005
Springer
14 years 3 months ago
2005
Springer
Free on-line machine translation systems are employed more and more by Internet users. In this paper we have explored the use of these systems for Cross-Language Question Answering...