Sciweavers

3954 search results - page 374 / 791
» Image-based Model Completion
Sort
View
WSC
2008
15 years 7 months ago
Allocating outpatient clinic services using simulation and linear programming
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
Martin J. Miller, David M. Ferrin, Niloo Shahi, Ri...
WSC
2008
15 years 7 months ago
A dynamic crashing method for project management using simulation-based optimization
A dynamic simulation-based crashing method is introduced in this research to evaluate project networks and determine the optimum crashing configuration that minimizes the average ...
Michael E. Kuhl, Radhames A. Tolentino-Pena
ECAI
2008
Springer
15 years 6 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
DAGSTUHL
2008
15 years 6 months ago
Interval Arithmetic and Standardization
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficient...
Jürgen Wolff von Gudenberg
ESANN
2007
15 years 6 months ago
The Intrinsic Recurrent Support Vector Machine
In this work, we present a new model for a Recurrent Support Vector Machine. We call it intrinsic because the complete recurrence is directly incorporated within the considered opt...
Daniel Schneegaß, Anton Maximilian Schä...