Sciweavers

1529 search results - page 43 / 306
» Power-aware operating systems for interactive systems
Sort
View
AFP
2004
Springer
15 years 10 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
Rinus Plasmeijer, Arjen van Weelden
HF
2002
95views more  HF 2002»
15 years 4 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
CRV
2009
IEEE
132views Robotics» more  CRV 2009»
15 years 11 months ago
A Vision-Based Control and Interaction Framework for a Legged Underwater Robot
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
Junaed Sattar, Gregory Dudek
CHI
2006
ACM
16 years 5 months ago
The design of an interactive and dynamic representation of the firm
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
Lin Zhao, Julia Grant, Fred L. Collopy
HICSS
1998
IEEE
121views Biometrics» more  HICSS 1998»
15 years 9 months ago
A System Architecture of Intelligent-Guided Browsing on the Web
Compared with traditional business operations, wwwbased commerce has many advantages, such as timeliness, worldwide communication, hyper-links, and multimedia. However, lack of cu...
Hsiangchu Lai, Tzyy-Ching Yang