Sciweavers

12194 search results - page 215 / 2439
» cans 2010
Sort
View
ENTCS
2006
116views more  ENTCS 2006»
15 years 4 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader
ENTCS
2006
273views more  ENTCS 2006»
15 years 4 months ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky
EOR
2006
62views more  EOR 2006»
15 years 4 months ago
A sequential procedure for neighborhood selection-of-the-best in optimization via simulation
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
Juta Pichitlamken, Barry L. Nelson, L. Jeff Hong
EOR
2006
103views more  EOR 2006»
15 years 4 months ago
Exact solutions to a class of stochastic generalized assignment problems
This paper deals with a stochastic Generalized Assignment Problem with recourse. Only a random subset of the given set of jobs will require to be actually processed. An assignment...
Maria Albareda-Sambola, Maarten H. van der Vlerk, ...
EOR
2006
75views more  EOR 2006»
15 years 4 months ago
A rolling stock circulation model for combining and splitting of passenger trains
This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the roll...
Pieter-Jan Fioole, Leo G. Kroon, Gábor Mar&...