Sciweavers

2695 search results - page 163 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
CHI
2011
ACM
14 years 10 months ago
Experimental analysis of touch-screen gesture designs in mobile environments
Direct-touch interaction on mobile phones revolves around screens that compete for visual attention with users‟ realworld tasks and activities. This paper investigates the impac...
Andrew Bragdon, Eugene Nelson, Yang Li, Ken Hinckl...
LREC
2008
84views Education» more  LREC 2008»
15 years 8 months ago
A Hybrid Approach to Extracting and Classifying Verb+Noun Constructions
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
Amalia Todirascu, Dan Tufis, Ulrich Heid, Christop...
SCS
2003
15 years 7 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
EMSOFT
2005
Springer
16 years 2 hour ago
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
INFOVIS
2002
IEEE
15 years 11 months ago
Visualizing Data with Bounded Uncertainty
Visualization is a powerful way to facilitate data analysis, but it is crucial that visualization systems explicitly convey the presence, nature, and degree of uncertainty to user...
Chris Olston, Jock D. Mackinlay