Sciweavers

311 search results - page 8 / 63
» Tool support for the navigation in graphical models
Sort
View
MICCAI
2000
Springer
13 years 11 months ago
diSNei: A Collaborative Environment for Medical Images Analysis and Visualization
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
Carlos Alberola, Rubén Cárdenes, Mar...
ASE
2005
102views more  ASE 2005»
13 years 7 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
COMPSAC
2004
IEEE
13 years 11 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
UIST
1998
ACM
13 years 11 months ago
Interaction and Modeling Techniques for Desktop Two-Handed Input
We describe input devices and two-handed interaction techniques to support map navigation tasks. We discuss several design variations and user testing of two-handed navigation tec...
Ken Hinckley, Mary Czerwinski, Mike Sinclair
CIKM
2008
Springer
13 years 9 months ago
Social navigation and annotation for electronic books
Modern efforts on digitizing electronic books focus on preserving authentic "spatial" representation of the original sources. The new format requires new tools to help u...
Jae-Kyung Kim, Rosta Farzan, Peter Brusilovsky