Sciweavers

510 search results - page 32 / 102
» Computing Stack Maps with Interfaces
Sort
View
CHI
2010
ACM
14 years 2 months ago
Biketastic: sensing and mapping for better biking
Bicycling is an affordable, environmentally friendly alternative transportation mode to motorized travel. A common task performed by bikers is to find good routes in an area, whe...
Sasank Reddy, Katie Shilton, Gleb Denisov, Christi...
CHI
2009
ACM
14 years 8 months ago
Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation
A common effect of aging is decline in spatial cognition. This is an issue for all elders, but particularly for elder drivers. To address this driving issue, we propose a novel co...
Seungjun Kim, Anind K. Dey
CONCUR
2004
Springer
14 years 28 days ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
CHI
2010
ACM
14 years 2 months ago
Mapping the landscape of sustainable HCI
With the recent growth in sustainable HCI, now is a good time to map out the approaches being taken and the intellectual commitments that underlie the area, to allow for community...
Carl F. DiSalvo, Phoebe Sengers, Hrönn Brynja...
SPIN
2004
Springer
14 years 27 days ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober