Sciweavers

5085 search results - page 686 / 1017
» Multidimensional Design by Examples
Sort
View
CHI
2005
ACM
16 years 7 months ago
Curve dial: eyes-free parameter entry for GUIs
In this demonstration, we introduce "curve dial" a technique designed to extend gesture-based interactions like FlowMenus with eyes-free parameter entry. FlowMenus, let ...
Graham Smith, Monica M. C. Schraefel, Patrick Baud...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
HPCA
2005
IEEE
16 years 7 months ago
Scatter-Add in Data Parallel Architectures
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
Jung Ho Ahn, Mattan Erez, William J. Dally
CHI
2004
ACM
16 years 7 months ago
Acquiring in situ training data for context-aware ubiquitous computing applications
Ubiquitous, context-aware computer systems may ultimately enable computer applications that naturally and usefully respond to a user's everyday activity. Although new algorit...
Stephen S. Intille, Ling Bao, Emmanuel Munguia Tap...
CHI
2004
ACM
16 years 7 months ago
Predictive human performance modeling made easy
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
Bonnie E. John, Konstantine C. Prevas, Dario D. Sa...