4670 search results - page 180 / 934 » Toward meaningful computing |
PERVASIVE
2007
Springer
14 years 4 months ago
2007
Springer
This paper discusses an alternative application area for ambient information systems, coined as ‘persuasive visualization’. It investigates the recent evolution of ambient dis...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
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...
PERSUASIVE
2007
Springer
14 years 4 months ago
2007
Springer
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 ...
FTDCS
2004
IEEE
14 years 2 months ago
2004
IEEE
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...