388 search results - page 47 / 78 » A Mixed Closure-CSP Method to Solve Scheduling Problems |
134
click to vote
IFM
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
108
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
In the course allocation problem, a university administrator seeks to efficiently and fairly allocate schedules of over-demanded courses to students with heterogeneous preferences...
140
click to vote
EOR
2007
15 years 1 months ago
2007
Heavy industry maintenance facilities at aircraft service centers or railroad yards must contend with scheduling preventive maintenance tasks to ensure critical equipment remains ...
115
click to vote
ICA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we propose a method for blind source separation (BSS) of convolutive audio recordings with short blocks of stationary sources, i.e. dynamically changing so...
101
click to vote
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose a new algorithm for independent component and independent subspace analysis problems. This algorithm uses a contrast based on the Schweizer-Wolff measure of pairwise de...