11949 search results - page 111 / 2390 » Some results on (a:b)-choosability |
109
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
SAB
2010
Springer
14 years 11 months ago
2010
Springer
Two main theories of female mate choice, that females either pick the best from the n closest males (best-of-n) or the closest with some minimum quality (min-threshold), make diffe...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper starts from the idea of automatically choosing the appropriate thresholds for a shadow detection algorithm. It is based on the maximization of the agreement between two...
114
click to vote
DAM
2011
14 years 8 months ago
2011
Many graph search algorithms use a labeling of the vertices to compute an ordering of the vertices. We generalize this idea by devising a general vertex labeling algorithmic proce...
120
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...