11949 search results - page 90 / 2390 » Some results on (a:b)-choosability |
189
click to vote
COLOGNETWENTE
2008
15 years 7 months ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...
188
click to vote
DC
2010
15 years 3 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
148
click to vote
STOC
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we prove the following two results that expose some combinatorial limitations to list decoding ReedSolomon codes.
156
click to vote
MEMBRANE
2005
Springer
15 years 12 months ago
2005
Springer
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
156
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...