1181 search results - page 88 / 237 » Interactive generation of overview information using speech |
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we demonstrate how ethnographic fieldwork studies can be used to inform the design of third generation mobile phones. We draw on a field study of teenage mobile pho...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
153
click to vote
FROCOS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...