1302 search results - page 79 / 261 » On the Strong Chromatic Number |
128
click to vote
CATA
2001
15 years 7 months ago
2001
In this paper, we present a novel eyelash detection model based on three criterions: 1) separable eyelash condition, 2) non-informative condition and 3) connective criterion. The f...
164
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
164
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We investigate the asymptotic properties of a recursive kernel density estimator associated with the driven noise of a linear regression in adaptive tracking. We provide an almost ...
198
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: There are a number of methods (also called: measures) currently in use that quantify codon usage in genes. These measures are often influenced by other sequence proper...
167
click to vote
COLING
2002
15 years 6 months ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...