1538 search results - page 211 / 308 » Spectral Techniques in Graph Algorithms |
116
click to vote
JAIR
2010
14 years 12 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
128
click to vote
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a new algorithm for segmenting video frames into temporally stable colored regions, applying our technique to create artistic stylizations (e.g. cartoons and paintings)...
118
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...
108
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
We address visual correspondence problems without assuming that scene points have similar intensities in different views.This situation is common, usually due to non-lambertian sc...
ESSOS
2010
Springer
15 years 10 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...