469 search results - page 42 / 94 » Putting curry-howard to work |
CSCW
2002
ACM
13 years 7 months ago
2002
ACM
Through ethnographic research, we document the rise of personal social networks in the workplace, which we call intensional networks. Paradoxically, we find that the most fundament...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
For compression of 3-D dynamic meshes, the novel framework of so-called frame-based animated mesh compression (FAMC) has been introduced recently. In this context, we propose an e...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
We present an algorithm for translating XSLT programs into SQL. Our context is that of virtual XML publishing, in which a single XML view is defined from a relational database, an...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
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....
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Communicating the subtleties of a craft technique, like putting a zipper into a garment or throwing a clay pot, can be challenging even when working side by side. Yet HowTo conten...