Sciweavers

6320 search results - page 246 / 1264
» Towards Situated Computing
Sort
View
PUC
2011
15 years 1 months ago
Toward a cooperative programming framework for context-aware applications
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
Bin Guo, Daqing Zhang, Michita Imai
PERVASIVE
2007
Springer
16 years 19 days ago
Towards Designing Persuasive Ambient Visualization
This paper discusses an alternative application area for ambient information systems, coined as ‘persuasive visualization’. It investigates the recent evolution of ambient dis...
Andrew Vande Moere
FOSSACS
2010
Springer
16 years 1 months ago
Toward a Compositional Theory of Leftist Grammars and Transformations
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...
Pierre Chambart, Ph. Schnoebelen
BIRTHDAY
2007
Springer
16 years 21 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 19 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...