Sciweavers

4806 search results - page 257 / 962
» Interactive uncertainty analysis
Sort
View
CHI
1998
ACM
15 years 9 months ago
Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
Guy A. Boy
CLEF
2008
Springer
15 years 7 months ago
Overview of iCLEF 2008: Search Log Analysis for Multilingual Image Retrieval
This paper summarises activities from the iCLEF 2008 task. In an attempt to encourage greater participation in user-orientated experiments, a new task was organised based on users...
Julio Gonzalo, Paul Clough, Jussi Karlgren
CHI
2006
ACM
16 years 6 months ago
Design and experimental analysis of continuous location tracking techniques for Wizard of Oz testing
Wizard of Oz (WOz) testing has shown promise as an effective way to test location-enhanced applications. However, it is challenging to conduct a location-based WOz test because of...
Yang Li, Evan Welbourne, James A. Landay
CHI
2005
ACM
16 years 6 months ago
Design and analysis of delimiters for selection-action pen gesture phrases in scriboli
We present a quantitative analysis of delimiters for pen gestures. A delimiter is "something different" in the input stream that a computer can use to determine the stru...
François Guimbretière, Gonzalo Ramos...
CASSIS
2005
Springer
15 years 11 months ago
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Me...