391 search results - page 30 / 79 » Automatic programming with semantic streams |
101
click to vote
ICCD
2005
IEEE
15 years 4 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
80
Voted
EUROGP
2005
Springer
15 years 4 months ago
2005
Springer
We extend our analysis of repetitive patterns found in genetic programming genomes to tree based GP. As in linear GP, repetitive patterns are present in large numbers. Size fair cr...
109
click to vote
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
81
Voted
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
87
Voted
IWMM
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...