Sciweavers

262 search results - page 38 / 53
» State Space Reduction Techniques for Component Interfaces
Sort
View
106
Voted
CHI
2005
ACM
16 years 2 months ago
Stencils-based tutorials: design and evaluation
Users of traditional tutorials and help systems often have difficulty finding the components described or pictured in the procedural instructions. Users also unintentionally miss ...
Caitlin Kelleher, Randy Pausch
ICMCS
2006
IEEE
161views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Emotion Recognition from Noisy Speech
This paper presents an emotion recognition system from clean and noisy speech. Geodesic distance was adopted to preserve the intrinsic geometry of emotional speech. Based on the g...
Mingyu You, Chun Chen, Jiajun Bu, Jia Liu, Jianhua...
69
Voted
GRAPHICSINTERFACE
2008
15 years 3 months ago
Perceptibility and utility of sticky targets
Researchers have suggested that dynamically increasing controlto-display (CD) gain can assist in targeting, by increasing the effective width of targets in motor space, which make...
Regan L. Mandryk, Carl Gutwin
QSIC
2007
IEEE
15 years 8 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
AAAI
1993
15 years 3 months ago
On the Adequateness of the Connection Method
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
Antje Beringer, Steffen Hölldobler