450 search results - page 78 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
CC
2010
Springer
14 years 3 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In layered networks, a single failure at a lower layer may cause multiple failures in the upper layers. As a result, traditional schemes that protect against single failures may...
FOCS
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...