1413 search results - page 42 / 283 » Bisimilarity of Open Terms |
138
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
107
click to vote
PODS
2008
ACM
16 years 26 days ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
120
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
101
click to vote
SIGECOM
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents a new ascending-price multi-unit auction protocol. As far as the authors are aware, this is the first protocol that has an open format, and in which sincere b...
114
click to vote
DGO
2011
14 years 16 days ago
2011
We consider open government (OG) within the context of egovernment and its broader implications for the future of public administration. We argue that the current US Administratio...