Sciweavers

3886 search results - page 244 / 778
» Toward Recovery-Oriented Computing
Sort
View
BIRTHDAY
2007
Springer
16 years 22 days ago
Towards Rewriting in Coq
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
PERSUASIVE
2007
Springer
16 years 20 days ago
iParrot: Towards Designing a Persuasive Agent for Energy Conservation
Computational agents can motivate people to change their behaviour towards energy use in a home setting. In this paper, we investigate the design and evaluation of the iParrot, an ...
Abdullah Al Mahmud, Pavan Dadlani, Omar Mubin, Sul...
SPAA
2006
ACM
16 years 15 days ago
Towards automatic parallelization of tree reductions in dynamic programming
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
CHI
2006
ACM
16 years 7 months ago
Individual differences in internet search outcomes and processes
A study was conducted, with 180 participants, to evaluate whether individual differences in basic cognitive abilities (i.e., spatial and verbal ability), attitudes towards compute...
Craig Treadaway, James S. Rubinstein, Leo J. Guger...
CVPR
2007
IEEE
16 years 7 months ago
Towards Fog-Free In-Vehicle Vision Systems through Contrast Restoration
In foggy weather, the contrast of images grabbed by in-vehicle cameras in the visible light range is drastically degraded, which makes the current applications very sensitive to we...
Nicolas Hautière, Jean-Philippe Tarel and Didier ...