Sciweavers

23 search results - page 3 / 5
» Flexible modeling of linear schedules for integrated mathema...
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 9 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
WSC
2000
13 years 6 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
IPMI
2011
Springer
12 years 9 months ago
Generalized Sparse Regularization with Application to fMRI Brain Decoding
Many current medical image analysis problems involve learning thousands or even millions of model parameters from extremely few samples. Employing sparse models provides an effecti...
Bernard Ng, Rafeef Abugharbieh
ATMOS
2011
261views Optimization» more  ATMOS 2011»
12 years 5 months ago
On the Utilisation of Fuzzy Rule-Based Systems for Taxi Time Estimations at Airports
The primary objective of this paper is to introduce Fuzzy Rule-Based Systems (FRBSs) as a relatively new technology into airport transportation research, with a special emphasis o...
Jun Chen, Stefan Ravizza, Jason A. D. Atkin, Paul ...
INFORMS
1998
150views more  INFORMS 1998»
13 years 5 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper