1738 search results - page 284 / 348 » Local Consistency and SAT-Solvers |
IWOCA
2010
Springer
13 years 4 months ago
2010
Springer
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-r...
SIAMCO
2010
13 years 4 months ago
2010
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
TIP
2010
13 years 4 months ago
2010
One weakness in the existing interactive image segmentation algorithms is the lack of more intelligent ways to understand the intention of user inputs. In this paper, we advocate t...
TIP
2010
13 years 4 months ago
2010
Motion-Compensated Frame Interpolation (MCFI) is a technique used extensively for increasing the temporal frequency of a video sequence. In order to obtain a high quality interpola...
TIP
2010
13 years 4 months ago
2010
Multiframe super-resolution (SR) reconstruction of small moving objects against a cluttered background is difficult for two reasons: a small object consists completely of "mix...