Sciweavers

446 search results - page 26 / 90
» Extremal Stable Graphs
Sort
View
GBRPR
2009
Springer
14 years 3 months ago
Texture Segmentation by Contractive Decomposition and Planar Grouping
Abstract. Image segmentation has long been an important problem in the computer vision community. In our recent work we have addressed the problem of texture segmentation, where we...
Anders Bjorholm Dahl, Peter Bogunovich, Ali Shokou...
CSL
2007
Springer
14 years 12 days ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
JUCS
2002
123views more  JUCS 2002»
13 years 8 months ago
Synchronization and Stability of Finite Automata
: Let G = (V, E) be a strongly connected and aperiodic directed graph of uniform out-degree k. A deterministic finite automaton is obtained if the edges are colored with k colors i...
Jarkko Kari
JGAA
2006
83views more  JGAA 2006»
13 years 8 months ago
On the approximation of Min Split-coloring and Min Cocoloring
We consider two problems, namely Min Split-coloring and Min Cocoloring, that generalize the classical Min Coloring problem by using not only stable sets but also cliques to cover ...
Marc Demange, Tinaz Ekim, Dominique de Werra
COCOA
2008
Springer
13 years 10 months ago
A Parameterized Perspective on Packing Paths of Length Two
We study (vertex-disjoint) packings of paths of length two (i.e., of P2's) in graphs under a parameterized perspective. Starting from a maximal P2-packing P of size j we use e...
Henning Fernau, Daniel Raible