Sciweavers

2695 search results - page 163 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
98
Voted
CHI
2011
ACM
14 years 7 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...
120
Voted
LREC
2008
84views Education» more  LREC 2008»
15 years 5 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...
175
Voted
SCS
2003
15 years 4 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
150
Voted
EMSOFT
2005
Springer
15 years 9 months 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...
122
Voted
INFOVIS
2002
IEEE
15 years 8 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