3690 search results - page 559 / 738 » Computation with classical sequents |
173
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
140
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
150
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
139
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
139
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...