Sciweavers

753 search results - page 2 / 151
» Completing a (k - 1)-Assignment
Sort
View
DATE
2008
IEEE
95views Hardware» more  DATE 2008»
13 years 11 months ago
Completeness in SMT-based BMC for Software Programs
Malay K. Ganai, Aarti Gupta
SIAMDM
2008
118views more  SIAMDM 2008»
13 years 5 months ago
Ramsey-Type Problem for an Almost Monochromatic K4
In this short note we prove that there is a constant c such that every k-edge-coloring of the complete graph Kn with n 2ck contains a K4 whose edges receive at most two colors. Th...
Jacob Fox, Benny Sudakov
EJC
2007
13 years 5 months ago
Perfect packings with complete graphs minus an edge
Let K− r denote the graph obtained from Kr by deleting one edge. We show that for every integer r ≥ 4 there exists an integer n0 = n0(r) such that every graph G whose order n â...
Oliver Cooley, Daniela Kühn, Deryk Osthus
CAIP
1997
Springer
107views Image Analysis» more  CAIP 1997»
13 years 9 months ago
Computing Stochastic Completion Fields in Linear-Time Using a Resolution Pyramid
Lance R. Williams, Tairan Wang, Karvel K. Thornber
CORR
2004
Springer
68views Education» more  CORR 2004»
13 years 5 months ago
NoSEBrEaK - Attacking Honeynets
It is usually assumed that Honeynets are hard to detect and that attempts to detect or disable them can be unconditionally monitored. We scrutinize this assumption and demonstrate ...
Maximillian Dornseif, Thorsten Holz, Christian N. ...