329 search results - page 39 / 66 » Uniform variable splitting |
103
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a novel variational segmentation algorithm designed to split an image in two regions based on their intensity distributions. A functional is proposed to integrate the ...
STACS
2010
Springer
15 years 6 months ago
2010
Springer
We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k2 4k clauses, and ...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
119
click to vote
MATES
2009
Springer
15 years 6 months ago
2009
Springer
In constraint satisfaction, decomposition is a common technique to split a problem in a number of parts in such a way that the global solution can be efficiently assembled from th...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...