11949 search results - page 90 / 2390 » Some results on (a:b)-choosability |
119
click to vote
COLOGNETWENTE
2008
15 years 2 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...
116
click to vote
DC
2010
14 years 10 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,...
STOC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we prove the following two results that expose some combinatorial limitations to list decoding ReedSolomon codes.
MEMBRANE
2005
Springer
15 years 6 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...
98
Voted
CP
2001
Springer
15 years 5 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...