Sciweavers

2821 search results - page 280 / 565
» Tracing a single user
Sort
View
WACC
1999
ACM
15 years 11 months ago
Supporting the writing of reports in a hierarchical organization
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...
Andreas Girgensohn
223
Voted
CHI
1995
ACM
15 years 10 months ago
Virtual Reality on a WIM: Interactive Worlds in Miniature
This paper explores a user interface technique which augments an immersive head tracked display with a hand-held miniature copy of the virtual environment. We call this interface ...
Richard Stoakley, Matthew Conway, Randy F. Pausch
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 10 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims
RT
1995
Springer
15 years 10 months ago
Making Global Illumination User-friendly
Global illumination researchers tend to think in terms of mesh density and sampling frequency, and their software reflects this in its user interface. Advanced rendering systems a...
Gregory J. Ward
ASSETS
2005
ACM
15 years 8 months ago
How to operate a PC without using the hands
A demo of a biosignal interface, which allows to operate a Windows r PC without using the hands, shall be given. The system – called HaMCoS (for Hands-free Mouse Control System)...
Torsten Felzer, Rainer Nordmann