1284 search results - page 115 / 257 » On Helping and Interactive Proof Systems |
AIED
2005
Springer
15 years 3 months ago
2005
Springer
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
MMS
2007
14 years 9 months ago
2007
Almost all system and application design for multimedia systems is based around a single user working in isolation to perform some task yet much of the work for which we use comput...
DEXAW
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper proposes a system which eases the job of entering and sharing expert analysis on a database system, with emphasis to pictorial and document information. With this syste...
HICSS
2007
IEEE
2007
IEEE
Fine-Tuning the Human-Computer Interface: Verbal versus Keyboard Input in an Idea Generation Context
15 years 4 months ago
Voice recognition technologies are rapidly evolving to help humans interact with computers more efficiently and effectively. Despite their potential advantages, their impact on sy...