632 search results - page 58 / 127 » Proving Invariants of Functional Programs |
121
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a new form of Genetic Programming called Cartesian Genetic Programming in which a program is represented as an indexed graph. The graph is encoded in the form o...
110
click to vote
PAMI
2007
15 years 2 days ago
2007
A new framework is presented for both understanding and developing graph-cut based combinatorial algorithms suitable for the approximate optimization of a very wide class of MRFs ...
90
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
206
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
89
Voted
AML
2007
15 years 22 days ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...