Sciweavers

631 search results - page 100 / 127
» A Structured Approach to Support 3D User Interface Developme...
Sort
View
SPIN
2004
Springer
15 years 3 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
PR
2007
142views more  PR 2007»
14 years 9 months ago
Visual guided navigation for image retrieval
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
Guoping Qiu, Jeremy Morris, Xunli Fan
CHI
2007
ACM
15 years 10 months ago
HCI and new media arts: methodology and evaluation
Successful collaborations between New Media Arts and HCI tend to develop hybrid techniques that promote balanced contributions from both disciplines. However, since many of these ...
Piotr D. Adamczyk, Kevin Hamilton, Michael B. Twid...
ASSETS
2006
ACM
15 years 3 months ago
Dynamically adapting GUIs to diverse input devices
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
Scott Carter, Amy Hurst, Jennifer Mankoff, Jack Li
64
Voted
DAC
2000
ACM
15 years 2 months ago
Using general-purpose programming languages for FPGA design
ct General-purpose programming languages (GPL) are effective vehicles for FPGA design because they are easy to use, extensible, widely available, and can be used to describe both t...
Brad L. Hutchings, Brent E. Nelson