1569 search results - page 198 / 314 » Towards the interactive office |
210
click to vote
HCI
2009
15 years 4 months ago
2009
The mobile phone has become one of the most popular products amongst today's consumers. The Mobile Phone Usability Questionnaire (MPUQ) was developed to provide an effective s...
186
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. Following the successful trend of open source, companies can be observed to open their innovation and development processes towards interested and capable partners inside...
216
click to vote
HCI
2009
15 years 4 months ago
2009
Computers have dramatically changed the social landscape and living practices in the 21st century. Most of those changes have empowered typically abled adults, while it is only in ...
217
click to vote
HCI
2009
15 years 4 months ago
2009
This contribution presents our work towards a system that autonomously guides the user's visual attention on important information (e.g., traffic situation or in-car system st...
204
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...