Sciweavers

2737 search results - page 149 / 548
» interaction 2009
Sort
View
CHI
2009
ACM
16 years 7 months ago
Using hands and feet to navigate and manipulate spatial data
We demonstrate how multi-touch hand gestures in combination with foot gestures can be used to perform navigation tasks in interactive systems. The geospatial domain is an interest...
Johannes Schöning, Florian Daiber, Antonio Kr...
CHI
2009
ACM
16 years 7 months ago
Exploring the cognitive consequences of social search
To what extent can social interactions augment people's natural search experiences? What factors influence the decision to turn to a friend for help? Our paper presents the p...
Brynn M. Evans, Sanjay Kairam, Peter Pirolli
MKM
2009
Springer
16 years 1 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...
MICCAI
2009
Springer
16 years 3 months ago
Multiple Sclerosis Lesion Segmentation Using an Automatic Multimodal Graph Cuts
Abstract. Graph Cuts have been shown as a powerful interactive segmentation technique in several medical domains. We propose to automate the Graph Cuts in order to automatically se...
Daniel García-Lorenzo, Jérémy...
HCI
2009
15 years 4 months ago
Modding as Rating Behavior in Virtual Communities: The Case of Rooster Teeth Productions
Virtual communities that make use of social network site features blend known applications of virtual communities. These communities can be simultaneously social and commercial, or...
Stefan Haefliger, Philip Reichen, Peter M. Jä...