8699 search results - page 137 / 1740 » Elements of the Theory of Computation |
115
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We present a distributed algorithm that finds a maximal edge packing in O(∆ + log∗ W) synchronous communication rounds in a weighted graph, independent of the number of nodes...
CIE
2007
Springer
15 years 5 months ago
2007
Springer
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
SIAMCOMP
2000
14 years 11 months ago
2000
This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
CHI
2007
ACM
15 years 11 months ago
2007
ACM