4266 search results - page 299 / 854 » The container loading problem |
151
click to vote
JCT
2006
15 years 4 months ago
2006
Eroh and Oellermann defined BRR(G1, G2) as the smallest N such that any edge coloring of the complete bipartite graph KN,N contains either a monochromatic G1 or a multicolored G2....
127
click to vote
IGPL
2007
15 years 4 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
143
click to vote
SIGACT
2008
15 years 4 months ago
2008
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
126
click to vote
TOPLAS
2008
15 years 4 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
115
click to vote
BIOINFORMATICS
2004
15 years 4 months ago
2004
EST databases have grown exponentially in recent years and now represent the largest collection of genetic sequences. An important application of these databases is that they conta...