Sciweavers

1559 search results - page 22 / 312
» The Semantics of Future and Its Use in Program Optimizations
Sort
View
PPDP
2007
Springer
15 years 3 months ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...
EUROGP
2010
Springer
160views Optimization» more  EUROGP 2010»
14 years 10 months ago
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
Nguyen Quang Uy, Nguyen Thi Hien, Nguyen Xuan Hoai...
EOR
2010
113views more  EOR 2010»
14 years 9 months ago
Optimal solutions for unrelated parallel machines scheduling problems using convex quadratic reformulations
We consider the unrelated parallel machines scheduling problem where jobs have earliness and tardiness penalties and a common due date. We formulate this problem and some of its v...
Marie-Christine Plateau, Yasmin A. Rios-Solis
SIGECOM
2004
ACM
96views ECommerce» more  SIGECOM 2004»
15 years 3 months ago
A stochastic programming approach to scheduling in TAC SCM
In this paper, we combine two approaches to handling uncertainty: we use techniques for finding optimal solutions in the expected sense to solve combinatorial optimization proble...
Michael Benisch, Amy R. Greenwald, Victor Narodits...

Book
246views
16 years 7 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy