1284 search results - page 178 / 257 » On Helping and Interactive Proof Systems |
WEBI
2009
Springer
14 years 2 months ago
2009
Springer
The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. Howe...
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
ETRA
2000
ACM
14 years 2 months ago
2000
ACM
Text input with eye trackers can be implemented in many ways such as on-screen keyboards or context sensitive menu-selection techniques. We propose the use of off-screen targets a...
SIGCSE
1997
ACM
14 years 2 months ago
1997
ACM
The QUIZIT system has been developed to support adaptive as well as standard testing, along with automatic grading and record keeping, using the WWW as a delivery vehicle. In conn...
VL
1996
IEEE
14 years 2 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...