1302 search results - page 161 / 261 » On the Strong Chromatic Number |
160
click to vote
ICITA
2005
IEEE
16 years 12 hour ago
2005
IEEE
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...
150
click to vote
ICPPW
2005
IEEE
16 years 10 hour ago
2005
IEEE
This paper addresses the Microarray Gene Ordering problem. It consists in ordering a set of genes, grouping together the ones with similar behavior. This behavior can be measured ...
148
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
142
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a prosodically conditioned diphone database to be used in a Korean text-to-speech (TTS) synthesis system. The diphones are prosodically conditioned in the sense...
150
Voted
CIE
2005
Springer
15 years 12 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...