1749 search results - page 113 / 350 » Conditional colorings of graphs |
158
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
244
click to vote
CRV
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
180
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
182
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we introduce a novel real-time tracker based on color, texture and motion information. RGB color histogram and correlogram (autocorrelogram) are exploited as color ...
187
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We study a simple Markov chain, known as the Glauber dynamics, for randomly sampling (proper) k-colorings of an input graph G on n vertices with maximum degree ∆ and girth g. We...