77 search results - page 12 / 16 » Guarded Fixed Point Logic |
132
click to vote
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, a new document image binarization technique is presented, as an improved version of the state-of-the-art adaptive logical level technique (ALLT). The original ALLT ...
113
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
106
click to vote
EUROGP
2008
Springer
15 years 3 months ago
2008
Springer
A new class of FPGA-based accelerators is presented for Cartesian Genetic Programming (CGP). The accelerators contain a genetic engine which is reused in all applications. Candidat...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
JAPLL
2006
15 years 1 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...