1385 search results - page 229 / 277 » Natural Rewriting for General Term Rewriting Systems |
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
This paper analyzes the worst-case efficiency ratio of falsename-proof combinatorial auction mechanisms. False-nameproofness generalizes strategy-proofness by assuming that a bidd...
127
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
117
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Peer-to-peer file-sharing networks are currently receiving much attention as a means of sharing and distributing information. However, as recent experience shows, the anonymous, o...
223
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
143
click to vote
IUI
2010
ACM
15 years 8 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...