Sciweavers

52 search results - page 4 / 11
» Necessary Optimality Conditions for Multiobjective Bilevel P...
Sort
View
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
13 years 12 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
IOR
2011
152views more  IOR 2011»
13 years 2 months ago
Risk-Averse Two-Stage Stochastic Linear Programming: Modeling and Decomposition
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
Naomi Miller, Andrzej Ruszczynski
MP
2006
103views more  MP 2006»
13 years 7 months ago
Assessing solution quality in stochastic programs
Determining if a solution is optimal or near optimal is fundamental in optimization theory, algorithms, and computation. For instance, Karush-Kuhn-Tucker conditions provide necessa...
Güzin Bayraksan, David P. Morton
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
14 years 29 days ago
Healthy daily meal planner
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
Aynur Kahraman, H. Aydolu Seven
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
14 years 20 days ago
Evolutionary Testing of Flag Conditions
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
André Baresel, Harmen Sthamer