Sciweavers

1879 search results - page 144 / 376
» Extending Reflective Architectures
Sort
View
145
Voted
ECCV
2006
Springer
16 years 6 months ago
Geometry and Kinematics with Uncertain Data
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
Christian Perwass, Christian Gebken, Gerald Sommer
122
Voted
CHI
2009
ACM
16 years 5 months ago
From interaction to trajectories: designing coherent journeys through user experiences
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
Steve Benford, Gabriella Giannachi, Boriana Koleva...
CHI
2006
ACM
16 years 4 months ago
Tableau machine: an alien presence in the home
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...
Mario Romero, Zachary Pousman, Michael Mateas
POPL
2010
ACM
16 years 1 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
CHI
2010
ACM
15 years 11 months ago
The design of eco-feedback technology
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
Jon Froehlich, Leah Findlater, James A. Landay