300 search results - page 14 / 60 » Bilevel programming: A survey |
FAC
2007
13 years 7 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
INFORMATICALT
2000
13 years 7 months ago
2000
It is well known that in linear programming, the optimal values of the dual variables can be interpreted as shadow prices (marginal values) of the right-hand side coefficients. How...
AIIDE
2008
13 years 10 months ago
2008
The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else's knowledge) as an issue for computer game AI. We argue that a number ...
FECS
2006
13 years 9 months ago
2006
This paper presents the results of a semester's experiments with producing instruction in "castable" format for iPODs and PDAs. The program involved is a non-tradit...