1302 search results - page 110 / 261 » On the Strong Chromatic Number |
201
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
178
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Sequencing of peptides by tandem mass spectrometry has matured to the key technology for proteomics. Noise in the measurement process strongly favors statistical models like NovoHM...
153
click to vote
ICCAD
1991
IEEE
15 years 10 months ago
1991
IEEE
In a high level synthesis environment there is a strong need for flexible module generators. For the generation of regular structures efficient dedicated module generators can be ...
196
click to vote
CTCS
1987
Springer
15 years 10 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
154
click to vote
AAAI
2007
15 years 8 months ago
2007
A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and servic...