Sciweavers

807 search results - page 107 / 162
» Reflective design
Sort
View
POPL
2004
ACM
14 years 10 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer
CSCW
2010
ACM
14 years 6 months ago
Same places, same things, same people?: mining user similarity on social media
In this work we examine nine different sources for user similarity as reflected by activity in social media applications. We suggest a classification of these sources into three c...
Ido Guy, Michal Jacovi, Adam Perer, Inbal Ronen, E...
ICDCIT
2010
Springer
14 years 6 months ago
Maintaining Coherent Views over Dynamic Distributed Data
Data delivered today over the web reflects rapid and unpredictable changes in the world around us. We are increasingly relying on content that provides dynamic, interactive, person...
Krithi Ramamritham
CHI
2010
ACM
14 years 4 months ago
Lumino: tangible blocks for tabletop computers based on glass fiber bundles
Tabletop computers based on diffuse illumination can track fiducial markers placed on the table’s surface. In this paper, we demonstrate how to do the same with objects arranged...
Patrick Baudisch, Torsten Becker, Frederik Rudeck
CHI
2010
ACM
14 years 4 months ago
InAir: sharing indoor air quality measurements and visualizations
This paper describes inAir, a tool for sharing measurements and visualizations of indoor air quality within one’s social network. Poor indoor air quality is difficult for humans...
Sunyoung Kim, Eric Paulos