13224 search results - page 2459 / 2645 » Self-monitoring for Computer Users |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
AI
2000
Springer
13 years 8 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
COLING
2002
13 years 8 months ago
2002
In this paper we propose an integrated knowledge management system in which terminology-based knowledge acquisition, knowledge integration, and XML-based knowledge retrieval are c...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
The Special Interest Group on Computer Human Interaction (SIGCHI) has had a successful history of 20 years of growth in its numbers and influence. To help guide the continued evol...
ASSETS
2006
ACM
14 years 2 months ago
2006
ACM
The VoxBoox system makes digital books accessible to visually impaired individuals via audio and voice. It automatically translates a book published in HTML to VoiceXML, and then ...