Sciweavers

1159 search results - page 179 / 232
» On The Next Move in Programming
Sort
View
101
Voted
COR
2010
123views more  COR 2010»
15 years 21 days ago
Decomposition, reformulation, and diving in university course timetabling
In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of...
Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, ...
96
Voted
EOR
2006
199views more  EOR 2006»
15 years 18 days ago
Short-term booking of air cargo space
This paper proposes a stochastic dynamic programming model for a short-term capacity planning model for air cargo space. The long-term cargo space is usually acquired by freight fo...
Ek Peng Chew, Huei Chuen Huang, Ellis L. Johnson, ...
129
Voted
OSN
2007
185views more  OSN 2007»
15 years 3 days ago
Comparison of ILP formulations for the RWA problem
— We present a review of the various integer linear programming (ILP) formulations that have been proposed for the routing and wavelength assignment problem in WDM optical networ...
Brigitte Jaumard, Christophe Meyer, B. Thiongane
142
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 8 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
97
Voted
WWW
2008
ACM
16 years 1 months ago
VoiKiosk: increasing reachability of kiosks in developing regions
One of the several initiatives to bridge the digital divide in developing countries has been the deployment of information kiosks or knowledge centers in villages in rural parts o...
Sheetal K. Agarwal, Arun Kumar, Amit Anil Nanavati...