6939 search results - page 446 / 1388 » Algorithm Engineering for Parallel Computation |
143
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
166
click to vote
SPAA
2005
ACM
15 years 10 months ago
2005
ACM
We present k-Flipper, a graph transformation algorithm that transforms regular undirected graphs. Given a path of k +2 edges it interchanges the end vertices of the path. By defin...
242
click to vote
ICDCN
2011
Springer
14 years 7 months ago
2011
Springer
This paper considers the problem of calculating dominating sets in networks with bounded degree. In these networks, the maximal degree of any node is bounded by Δ, which is usuall...
161
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
157
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...