11949 search results - page 18 / 2390 » Some results on (a:b)-choosability |
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
JGT
2008
13 years 7 months ago
2008
: A (g, f )-factor of a graph is a subset F of E such that for all v V, g(v) degF(v) f(v). Lovasz gave a necessary and sufficient condition for the existence of a (g, f )-factor...
PSD
2010
Springer
13 years 5 months ago
2010
Springer
Recently Sarathy and Muralidhar (2009) provided the first attempt at illustrating the implementation of differential privacy for numerical data. In this paper, we attempt to provid...
IAT
2005
IEEE
14 years 1 months ago
2005
IEEE
Whenever independent, non-cooperative actors jointly have to solve a complex task, they need to coordinate their efforts. Typical examples of such task coordination problems are s...
CAIP
2001
Springer
13 years 12 months ago
2001
Springer
This paper is a continuation to the work in [1], in which a new algorithm for skeletonization is introduced. The algorithm given there and implemented for script and text is applie...