11949 search results - page 106 / 2390 » Some results on (a:b)-choosability |
CIE
2009
Springer
15 years 7 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must ...
140
click to vote
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
- The SVG (Scalable Vector Graphics) standard allows representing complex graphical scenes by a collection of graphic vectorial-based primitives, offering several advantages with r...
111
click to vote
CIMCA
2005
IEEE
15 years 6 months ago
2005
IEEE
We present some proposals to approximately solve a period vehicle routing problem used to model the extraction of oil from a set of onshore oil wells in Brazil. This problem diffe...