1716 search results - page 118 / 344 » Proving Conditional Termination |
104
Voted
EWCBR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...
101
Voted
AAAI
2006
15 years 2 months ago
2006
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
93
Voted
USS
2004
15 years 2 months ago
2004
It is well known that it is insecure to use the access(2) system call in a setuid program to test for the ability of the program's executor to access a file before opening sa...
109
Voted
ENTCS
2007
15 years 21 days ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
93
Voted
EOR
2007
15 years 21 days ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...