4378 search results - page 50 / 876 » On the Complexity of Ordered Colourings |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
ISSAC
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Identification of regulatory signals in DNA depends on the nature and quality of the patterns of representative sequences. These patterns are constructed from training sets of se...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
—Simplified order-16 Integer Cosine Transform (ICT) has been proved to be an efficient coding tool especially for High-Definition (HD) video coding and is much simpler than ICT a...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— A new approach for the association of the well known turbo codes to modulation schemes is presented. This method is designed for flat fading channels. It presents the advantage...