5550 search results - page 1080 / 1110 » Different Approaches to Proof Systems |
120
click to vote
PODS
2008
ACM
16 years 2 months 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...
140
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we study search bot traffic from search engine query logs at a large scale. Although bots that generate search traffic aggressively can be easily detected, a large ...
107
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
105
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
129
click to vote
TEI
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces a tool known as the Haptic Drum Kit, which employs four computer-controlled vibrotactile devices, one attached to each wrist and ankle. In the applications d...