4584 search results - page 533 / 917 » interact 2007 |
225
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
180
Voted
IJIM
2007
15 years 6 months ago
2007
— Nowadays there are different evaluation methods focused in the assessment of the usability of telematic methods. The assessment of 3rd generation web environments evaluates the...
179
click to vote
JAPLL
2007
15 years 6 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
185
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
IBM Enhanced Audio Conferencing (IEAC) is a VoIPbased audio conferencing system that, like several other systems, provides a visualization showing who is present and their states ...
203
Voted
HICSS
2007
IEEE
2007
IEEE
Fine-Tuning the Human-Computer Interface: Verbal versus Keyboard Input in an Idea Generation Context
16 years 1 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...