Sciweavers

1133 search results - page 88 / 227
» Basics of Graph Cuts
Sort
View
TABLEAUX
2009
Springer
15 years 4 months ago
Modular Sequent Systems for Modal Logic
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
Kai Brünnler, Lutz Straßburger
ISMM
2009
Springer
15 years 4 months ago
Some Morphological Operators in Graph Spaces
We study some basic morphological operators acting on the lattice of all subgraphs of a (non-weighted) graph G. To this end, we consider two dual adjunctions between the edge set a...
Jean Cousty, Laurent Najman, Jean Serra
EJC
2006
14 years 9 months ago
Deza digraphs
As a generalization of Deza graphs, we introduce Deza digraphs and describe the basic theory of these graphs. We also prove the necessary and sufficient conditions when a weakly d...
Kaishun Wang, Yan-Quan Feng
FOCS
2008
IEEE
15 years 4 months ago
Submodular Approximation: Sampling-based Algorithms and Lower Bounds
We introduce several generalizations of classical computer science problems obtained by replacing simpler objective functions with general submodular functions. The new problems i...
Zoya Svitkina, Lisa Fleischer
MP
2010
163views more  MP 2010»
14 years 4 months ago
Speeding up IP-based algorithms for constrained quadratic 0-1 optimization
In many practical applications, the task is to optimize a non-linear objective function over the vertices of a well-studied polytope as, e.g., the matching polytope or the travelli...
Christoph Buchheim, Frauke Liers, Marcus Oswald