11949 search results - page 202 / 2390 » Some results on (a:b)-choosability |
114
click to vote
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an algorithm which is an improved version of the Kabatiansky-Tavernier list decoding algorithm for the second order binary Reed-Muller code RM(2, m), of length n = 2m , ...
104
click to vote
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
A strongly fair schedule is one in which tasks that are enabled infinitely often are also executed infinitely often. When tasks execute atomically, a strongly fair scheduler can...
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
109
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
We have shown in a previous study that selling content-transmutation rights to consumers increases total surplus of both producers and consumers of digital products. Our results w...
111
click to vote
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...