Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

EHCI
2001

favoriteEmaildiscussreport

131views Human Computer Interaction» more EHCI 2001»

Detecting Multiple Classes of User Errors

13 years 6 months ago

Detecting Multiple Classes of User Errors

Download eprints.ucl.ac.uk

Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for machine-assisted reasoning about user errors. The core of this model is a series of non-deterministic guarded temporal rules. We consider how this approach allows errors of various speci c kinds to be detected by proving a single theorem about a device. We illustrate the approach using a simple case study.

Paul Curzon, Ann Blandford

Real-time Traffic

EHCI 2001 | EHCI 2004 | Formal Reusable User | Systematic User Errors | User Errors |

claim paper

Related Content

» Multistrategy Discovery and Detection of Novice Programmer Errors

» Sphere Decoder for a MIMO MultiUser MCCDMA Uplink in TimeVarying Channels

» Exploiting Sparse User Activity in Multiuser Detection

» Probabilistic Combination of Multiple Modalities to Detect Interest

» Joint Iterative TimeVariant Channel Estimation and MultiUser Detection for MIMOOFDM System...

» Secure Initialization of Multiple Constrained Wireless Devices for an Unaided User

» Combining Multiple HostBased Detectors Using Decision Tree

» Symmetric RBF Classifier for Nonlinear Detection in MultipleAntennaAided Systems

» Multimodal Speaker Detection Using Error Feedback Dynamic Bayesian Networks

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	EHCI
Authors	Paul Curzon, Ann Blandford

Comments (0)