28962 search results - page 193 / 5793 » Computational Mechanism Design |
148
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
We describe a general technique for converting an online algorithm B to a truthtelling mechanism. We require that the original online competitive algorithm has certain "nicen...
146
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
131
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
113
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Based on the Resource Space Model, this paper proposes a view mechanism for finding and reusing legacy Resource Spaces according to users’ idiosyncratic resource interests. It e...
122
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...