Sciweavers

1404 search results - page 78 / 281
» A Flexible Graphical User Interface for Performance Modeling
Sort
View
UIST
2006
ACM
14 years 2 months ago
CueTIP: a mixed-initiative interface for correcting handwriting errors
With advances in pen-based computing devices, handwriting has become an increasingly popular input modality. Researchers have put considerable effort into building intelligent rec...
Michael Shilman, Desney S. Tan, Patrice Simard
CAV
2012
Springer
241views Hardware» more  CAV 2012»
11 years 10 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...
MHCI
2009
Springer
14 years 2 months ago
Inspire, guide, and entertain: designing a mobile assistant for runners
The paper presents the design of a mobile assistant for runners. We propose visual and auditory user interface for a mobile assistant, called Mobota. The system supports navigatio...
Ekaterina Kurdyukova
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 6 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
FQAS
2006
Springer
109views Database» more  FQAS 2006»
13 years 12 months ago
Towards a Flexible Visualization Tool for Dealing with Temporal Data
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
Guy De Tré, Nico Van de Weghe, Rita M. M. D...