Sciweavers

822 search results - page 47 / 165
» Visualization techniques utilizing the sensitivity analysis ...
Sort
View
AVI
2010
13 years 9 months ago
3D attentional maps: aggregated gaze visualizations in three-dimensional virtual environments
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
Sophie Stellmach, Lennart Nacke, Raimund Dachselt
ICSEA
2008
IEEE
14 years 2 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
INFOVIS
1999
IEEE
14 years 10 days ago
Sensemaking of Evolving Web Sites Using Visualization Spreadsheets
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
Ed Huai-hsin Chi, Stuart K. Card
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 6 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
LREC
2010
183views Education» more  LREC 2010»
13 years 9 months ago
AhoTransf: A Tool for Multiband Excitation Based Speech Analysis and Modification
In this paper we present AhoTransf, a tool that enables analysis, visualization, modification and synthesis of speech. AhoTransf integrates a speech signal analysis model with a g...
Ibon Saratxaga, Inmaculada Hernáez, Eva Nav...