7167 search results - page 1262 / 1434 » Answer Set Programming |
JSS
2002
13 years 9 months ago
2002
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
MOR
2002
13 years 9 months ago
2002
We present a polyhedral study of the complementarity knapsack problem. Traditionally, complementarity constraints are modeled by introducing auxiliary binary variables and additio...
MP
2002
13 years 9 months ago
2002
We revise the Volume Algorithm (VA) for linear programming and relate it to bundle methods. When first introduced, VA was presented as a subgradient-like method for solving the ori...
MP
2002
13 years 9 months ago
2002
An iterative framework for solving generalized equations with nonisolated solutions is presented. For generalized equations with the structure 0 F(z) + T (z), where T is a multifu...
MP
2002
13 years 9 months ago
2002
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...