469 search results - page 75 / 94 » Putting curry-howard to work |
KDD
2001
ACM
14 years 8 months ago
2001
ACM
Surveys are an important part of marketing and customer relationship management, and open answers (i.e., answers to open questions) in particular may contain valuable information ...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
In this submission for the CHI05 Development forum, I reflect on my experience leading the Experience Design community of interest of the American Institute of Graphic Arts and su...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
As more and more query processing work can be done in main memory, memory access is becoming a significant cost component of database operations. Recent database research has show...
ICS
2010
Tsinghua U.
14 years 4 months ago
2010
Tsinghua U.
feuse of its devstting eets in utions nd other mehnismsD ollusion is prohiited nd leglly proseutedF etD olluders hve lwys existedD nd my ontinue to existF e thus rise the followin...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...