Sciweavers

2604 search results - page 17 / 521
» Human Errors and System Requirements
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
14 years 26 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
OSDI
2006
ACM
14 years 7 months ago
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
Junfeng Yang, Can Sar, Dawson R. Engler
ICPR
2002
IEEE
14 years 8 months ago
A Bi-Directional Visual Stereo Interface for Accessing Stereo Matching Results from a Human Brain
In this paper, a novel interface, termed BVSI, allowing people to input stereo correspondences more efficiently is proposed. The BVSI consists of a stereo display for providing a ...
Sheng-Wen Shih, Tzu-Hsuan Lo
DAGM
2005
Springer
14 years 1 months ago
A System for Marker-Less Human Motion Estimation
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
Bodo Rosenhahn, Uwe G. Kersting, Andrew W. Smith, ...
18
Voted
WSC
2004
13 years 8 months ago
Investigation of Error Rates When Controlling Multiple Uninhabited Combat Aerial Vehicles
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
Sasanka V. Prabhala, Jennie J. Gallimore