Sciweavers

24 search results - page 3 / 5
» Piercing d -Intervals
Sort
View
SI3D
1999
ACM
13 years 10 months ago
Toolspaces and glances: storing, accessing, and retrieving objects in 3D desktop applications
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
Jeffrey S. Pierce, Matthew Conway, Maarten van Dan...
POPL
2004
ACM
14 years 6 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
UIST
2004
ACM
13 years 11 months ago
A gesture-based authentication scheme for untrusted public terminals
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...
Shwetak N. Patel, Jeffrey S. Pierce, Gregory D. Ab...
CHI
2008
ACM
14 years 6 months ago
Special session in honor of Randy Pausch
Randy Pausch is an inspiration to all with his research, teaching, the way he has lived his life, and his courage while confronting pancreatic cancer. This session brings together...
Caitlin Kelleher, Brad A. Myers, Daniel P. Siewior...
CHI
2002
ACM
14 years 6 months ago
Comparing voodoo dolls and HOMER: exploring the importance of feedback in virtual environments
When creating techniques for manipulating objects at a distance in immersive virtual environments, researchers have primarily focused on increasing selection range, placement rang...
Jeffrey S. Pierce, Randy F. Pausch