1560 search results - page 13 / 312 » interfaces 2010 |
LREC
2010
13 years 11 months ago
2010
The EC-funded project DICIT developed distant-talking interfaces for interactive TV. The final DICIT prototype system processes multimodal user input by speech and remote control....
CPHYSICS
2010
13 years 7 months ago
2010
ENTCS
2007
13 years 9 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
SIAMNUM
2010
13 years 4 months ago
2010
Abstract. In [9], we introduced and analyzed a recovery-based a posteriori error estimator for conforming linear finite element approximation to interface problems. It was shown th...