Sciweavers

8621 search results - page 1355 / 1725
» Interaction Design
Sort
View
CHI
2011
ACM
14 years 10 months ago
Enhancing independence and safety for blind and deaf-blind public transit riders
Blind and deaf-blind people often rely on public transit for everyday mobility, but using transit can be challenging for them. We conducted semi-structured interviews with 13 blin...
Shiri Azenkot, Sanjana Prasain, Alan Borning, Emil...
237
Voted
TPHOL
1999
IEEE
15 years 11 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme
FLAIRS
2003
15 years 8 months ago
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
William J. Clancey, Maarten Sierhuis, Charis Kaski...
HUC
2010
Springer
15 years 8 months ago
WATTR: a method for self-powered wireless sensing of water activity in the home
We present WATTR, a novel self-powered water activity sensor that utilizes residential water pressure impulses as both a powering and sensing source. Consisting of a power harvest...
Tim Campbell, Eric Larson, Gabe Cohn, Ramses Alcai...
MM
2005
ACM
157views Multimedia» more  MM 2005»
16 years 12 days ago
Chameleon: application level power management with performance isolation
In this paper, we present Chameleon—an application-level power management approach for reducing energy consumption in mobile processors. Our approach exports the entire responsi...
Xiaotao Liu, Prashant J. Shenoy, Mark D. Corner
« Prev « First page 1355 / 1725 Last » Next »