Sciweavers

659 search results - page 103 / 132
» Using formal models to design user interfaces: a case study
Sort
View
ISW
2005
Springer
14 years 2 months ago
Device-Enabled Authorization in the Grey-System
d Abstract) Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, and Peter Rutenbar Carnegie Mellon University, Pittsburgh, Pennsylvania, USA We describe ...
Lujo Bauer, Scott Garriss, Jonathan M. McCune, Mic...
ALDT
2009
Springer
172views Algorithms» more  ALDT 2009»
14 years 3 months ago
On Multi-dimensional Envy-Free Mechanisms
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
Ahuva Mu'alem
FPGA
2008
ACM
136views FPGA» more  FPGA 2008»
13 years 10 months ago
HybridOS: runtime support for reconfigurable accelerators
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
John H. Kelm, Steven S. Lumetta
HRI
2009
ACM
14 years 3 months ago
The oz of wizard: simulating the human for interaction research
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...
Aaron Steinfeld, Odest Chadwicke Jenkins, Brian Sc...
FGR
2002
IEEE
155views Biometrics» more  FGR 2002»
14 years 1 months ago
Model-Based Face Tracking for View-Independent Facial Expression Recognition
Facial expression recognition is necessary for designing any realistic human-machine interfaces. Previous published facial expression recognition systems achieve good recognition ...
Salih Burak Göktürk, Carlo Tomasi, Bernd...