Sciweavers

2050 search results - page 114 / 410
» constraints 2010
Sort
View
ENDM
2010
67views more  ENDM 2010»
13 years 7 months ago
An exact method for the bi-objective one-machine problem with maximum lateness and unit family setup cost objectives
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...
Christian Artigues, Nicolas Jozefowiez, Mohamed Al...
JSAC
2010
98views more  JSAC 2010»
13 years 4 months ago
Task allocation for networked autonomous underwater vehicles in critical missions
Underwater Acoustic Sensor Networks (UW-ASNs) consist of stationary or mobile nodes such as Autonomous Underwater Vehicles (AUVs), which may be classified as propellerdriven vehicl...
Indraneel S. Kulkarni, Dario Pompili
JSAT
2010
87views more  JSAT 2010»
13 years 4 months ago
The Sat4j library, release 2.2
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
Daniel Le Berre, Anne Parrain
TMI
2010
298views more  TMI 2010»
13 years 4 months ago
An Efficient Numerical Method for General Lp Regularization in Fluorescence Molecular Tomography
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...
Jean-Charles Baritaux, Kai Hassler, Michael Unser
COR
2010
123views more  COR 2010»
13 years 10 months 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, ...