469 search results - page 21 / 94 » Putting curry-howard to work |
CHI
2011
ACM
12 years 11 months ago
2011
ACM
As HCI is applied in increasingly diverse contexts, it is important to consider situations in which computational or information technologies may be less appropriate. This paper p...
SIGIR
2011
ACM
12 years 10 months ago
2011
ACM
We study the problem of automatically assigning appropriate music pieces to a picture or, in general, series of pictures. This task, commonly referred to as soundtrack suggestion,...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
The use of ICTs in the public sector has long been touted for its potential to transform the institutions that govern and provide social services. The focus, however, has largely ...