2911 search results - page 556 / 583 » A Theory of Expressiveness in Mechanisms |
100
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
The concept of distributed transmit beamforming is implicit in many key results of network information theory. However, its implementation in a wireless network involves the funda...
COMBINATORICA
2007
14 years 9 months ago
2007
The standard Erd˝os-Renyi model of random graphs begins with n isolated vertices, and at each round a random edge is added. Parametrizing n 2 rounds as one time unit, a phase tra...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
In most IR clustering problems, we directly cluster the documents, working in the document space, using cosine similarity between documents as the similarity measure. In many real...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol. Mobiles are selfoptimizin...