Sciweavers

1245 search results - page 186 / 249
» Towards a systematic approach for designing autonomic system...
Sort
View
HF
2002
95views more  HF 2002»
15 years 6 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
GW
2005
Springer
120views Biometrics» more  GW 2005»
15 years 11 months ago
Recognition of Deictic Gestures for Wearable Computing
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...
Thomas B. Moeslund, Lau Nørgaard
HASE
1999
IEEE
15 years 10 months ago
Building Dependable Distributed Applications Using AQUA
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...
Jennifer Ren, Michel Cukier, Paul Rubel, William H...
HT
2004
ACM
15 years 11 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
CEAS
2004
Springer
15 years 11 months ago
Personalised, Collaborative Spam Filtering
The state of the art sees content-based filters tending towards collaborative filters, whereby email is filtered at the MTA with users feeding information back about false posit...
Alan Gray, Mads Haahr