Sciweavers

1706 search results - page 241 / 342
» A design tool for camera-based interaction
Sort
View
WWW
2011
ACM
14 years 11 months ago
Low-infrastructure methods to improve internet access for mobile users in emerging regions
As information technology supports more aspects of modern life, digital access has become an important tool for developing regions to lift themselves from poverty. Though broadban...
Sibren Isaacman, Margaret Martonosi
VIS
2007
IEEE
181views Visualization» more  VIS 2007»
16 years 5 months ago
Shadow-Driven 4D Haptic Visualization
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
Hui Zhang, Andrew J. Hanson
CADE
2005
Springer
16 years 4 months ago
Reflecting Proofs in First-Order Logic with Equality
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
Evelyne Contejean, Pierre Corbineau
MM
2003
ACM
190views Multimedia» more  MM 2003»
15 years 9 months ago
Human + agent: creating recombinant information
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
Andruid Kerne, Vikram Sundaram, Jin Wang, Madhur K...
129
Voted
CHI
2006
ACM
16 years 5 months ago
Utilizing mobile phones as ambient information displays
Mobile phones have become a ubiquitous technology and for many people a daily companion, primarily used for communication and information access. The fact that the phone is accomp...
Albrecht Schmidt, Jonna Häkkilä, Richard...