2929 search results - page 112 / 586 » Rich Interaction: Issues |
170
click to vote
HCI
2007
15 years 7 months ago
2007
We present our current research on the implementation of gaze as an efficient and usable pointing modality supplementary to speech, for interacting with augmented objects in our da...
158
click to vote
FLAIRS
2001
15 years 7 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
152
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We explore the generation of interactive computer graphics at digital set-top boxes in place of the fixed graphics that were embedded to the television video before the broadcast....
188
click to vote
HCI
2009
15 years 4 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
168
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...