3820 search results - page 594 / 764 » Bounded Model Debugging |
119
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
We prove the existence of an algorithm A for computing 2-d or 3-d convex hulls that is optimal for every point set in the following sense: for every set S of n points and for ever...
112
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...
122
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Whenever rational agents form coalitions to execute tasks, doing so via a decentralized negotiation process—while more robust and democratic—may lead to a loss of efficiency ...
131
Voted
ISAAC
2009
Springer
15 years 9 months ago
2009
Springer
We give a simple framework which is an alternative to the celebrated and widely used shifting strategy of Hochbaum and Maass [J. ACM, 1985] which has yielded efficient algorithms ...
124
Voted
ACSC
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a more efficient privacy preserving set intersection protocol which improves the previously known result by a factor of O(N) in both the computation and communication c...