Sciweavers

12118 search results - page 295 / 2424
» User interface tools
Sort
View
NFM
2011
254views Formal Methods» more  NFM 2011»
15 years 1 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
VISUALIZATION
2003
IEEE
15 years 12 months ago
A Constraint-Based Technique for Haptic Volume Exploration
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...
Milan Ikits, J. Dean Brederson, Charles D. Hansen,...
NAACL
2003
15 years 8 months ago
TAP-XL: An Automated Analyst's Assistant
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
Sean Colbath, Francis Kubala
AVI
2004
15 years 8 months ago
Designing affordances for the navigation of detail-on-demand hypervideo
We introduced detail-on-demand video as a simple type of hypervideo that allows users to watch short video segments and to follow hyperlinks to see additional detail. Such video l...
Andreas Girgensohn, Lynn Wilcox, Frank M. Shipman ...
JCDL
2006
ACM
99views Education» more  JCDL 2006»
16 years 17 days ago
Using resources across educational digital libraries
This article reports on analyses of usage and design activities by users of the Instructional Architect (IA), an end-user authoring tool designed to support easy access to and use...
Mimi Recker, Bart Palmer