Sciweavers

7426 search results - page 257 / 1486
» The LHC Computing Challenge
Sort
View
ACL
2010
15 years 4 months ago
Using Speech to Reply to SMS Messages While Driving: An In-Car Simulator User Study
Speech recognition affords automobile drivers a hands-free, eyes-free method of replying to Short Message Service (SMS) text messages. Although a voice search approach based on te...
Yun-Cheng Ju, Tim Paek
ICPR
2010
IEEE
15 years 4 months ago
Detection Based Low Frame Rate Human Tracking
Tracking by association of low frame rate detection responses is not trivial, as motion is less continuous and hence ambiguous. The problem becomes more challenging when occlusion ...
Lu Wang, Nelson H. C. Yung
UIST
2010
ACM
15 years 4 months ago
Enhanced area cursors: reducing fine pointing demands for people with motor impairments
Computer users with motor impairments face major challenges with conventional mouse pointing. These challenges are mostly due to fine pointing corrections at the final stages of t...
Leah Findlater, Alex Jansen, Kristen Shinohara, Mo...
DLT
2009
15 years 4 months ago
Branching-Time Temporal Logics with Minimal Model Quantifiers
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
Fabio Mogavero, Aniello Murano
GI
2009
Springer
15 years 4 months ago
Component Governance as a Key Factor for IT Business Alignment of Telecommunications Companies
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...
Sebastian Reinisch, Uwe Beyer, Robert Mertens