4266 search results - page 488 / 854 » The container loading problem |
130
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In ...
140
click to vote
ANOR
2008
15 years 5 months ago
2008
: The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is ...
141
click to vote
CLUSTER
2008
IEEE
15 years 5 months ago
2008
IEEE
Service providers and their customers agree on certain quality of service guarantees through Service Level Agreements (SLA). An SLA contains one or more Service Level Objectives (S...
128
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
For general memoryless systems, the typical information theoretic solution - when exists - has a "single-letter" form. This reflects the fact that optimum performance ca...
114
Voted
ENTCS
2006
15 years 5 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...