1710 search results - page 49 / 342 » High-Level Programs and Program Conditions |
IOR
2011
14 years 4 months ago
2011
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 ...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
ECEASST
2008
14 years 9 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
102
click to vote
DAGSTUHL
2001
14 years 11 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
IGPL
2010
14 years 4 months ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...