Sciweavers

UIST
1991
ACM
15 years 8 months ago
On temporal-spatial realism in the virtual reality environment
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
Jiandong Liang, Christopher D. Shaw, Mark Green
UIST
1991
ACM
15 years 8 months ago
SUIT: the Pascal of user interface toolkits
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
Randy Pausch, Nathaniel R. Young II, Robert DeLine
TPHOL
1991
IEEE
15 years 8 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
113
Voted
ISN
1994
Springer
15 years 8 months ago
Hypermedia Applications for Distance Education and Training
Manfred Thüring, Jörg Hannemann, Jö...
172
Voted
TOOLS
1991
IEEE
15 years 8 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...