2393 search results - page 340 / 479 » Bounds-Consistent Local Search |
TEC
2010
13 years 4 months ago
2010
Nurse rostering is a difficult search problem with many constraints. In the literature, a number of approaches have been investigated including penalty function methods to tackle t...
TEC
2010
13 years 4 months ago
2010
In the real world, many optimization problems are dynamic. This requires an optimization algorithm to not only find the global optimal solution under a specific environment but als...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
IAT
2009
IEEE
14 years 5 months ago
2009
IEEE
Distributed Partially Observable Markov Decision Problems (DisPOMDPs) are emerging as a popular approach for modeling sequential decision making in teams operating under uncertain...