12118 search results - page 67 / 2424 » User interface tools |
VR
2002
IEEE
13 years 9 months ago
2002
IEEE
: This paper presents a set of pinch glove-based user interface tools for an outdoor wearable augmented reality computer system. The main form of user interaction is the use of han...
CHI
1993
ACM
14 years 1 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
ERCIMDL
2007
Springer
14 years 3 months ago
2007
Springer
—The Self-Organising Map (SOM) has been proposed as an alternative interface for exploring Digital Libraries (DL), in addition to conventional search and browsing. With advanced ...