882 search results - page 147 / 177 » Local Search for Very Large SAT Problems |
141
click to vote
AAAI
2006
15 years 5 months ago
2006
Stereo vision for small mobile robots is a challenging problem, particularly when employing embedded systems with limited processing power. However, it holds the promise of greatl...
108
click to vote
EOR
2008
15 years 3 months ago
2008
We consider the robust surgery loading problem for a hospital's operating theatre department, which concerns assigning surgeries and sufficient planned slack to operating roo...
157
Voted
ASC
2011
14 years 10 months ago
2011
In this work, a novel optimization framework is proposed that allows the improvement of Quality of Service levels in TCP/IP based networks, by configuring the routing weights of ...
139
Voted
IPM
2006
15 years 3 months ago
2006
A bibliography is traditionally characterized by the judgments, bounded by explicit selection criteria, made by a single compiler. Because these criteria concern the attributes as...
150
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...