1631 search results - page 156 / 327 » Observing Functional Logic Computations |
145
click to vote
IEEEARES
2009
IEEE
15 years 1 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
124
click to vote
IGPL
2008
15 years 3 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
133
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
158
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
141
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...