11949 search results - page 315 / 2390 » Some results on (a:b)-choosability |
108
click to vote
MP
2007
15 years 1 months ago
2007
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
114
Voted
DGCI
2005
Springer
15 years 7 months ago
2005
Springer
The watershed transformation is an efficient tool for segmenting grayscale images. An original approach to the watershed [1,9] consists in modifying the original image by lowering...
114
click to vote
JELIA
2010
Springer
15 years 6 days ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
125
click to vote
LICS
2010
IEEE
15 years 5 days ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
130
click to vote
MST
2010
15 years 5 days ago
2010
Coloring a k-colorable graph using k colors (k ≥ 3) is a notoriously hard problem. Considering average case analysis allows for better results. In this work we consider the unif...