Sciweavers

3736 search results - page 394 / 748
» Generative Programming
Sort
View
FATES
2003
Springer
15 years 10 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
GECCO
2003
Springer
156views Optimization» more  GECCO 2003»
15 years 10 months ago
Facts and Fallacies in Using Genetic Algorithms for Learning Clauses in First-Order Logic
Over the last few years, a few approaches have been proposed aiming to combine genetic and evolutionary computation (GECCO) with inductive logic programming (ILP). The underlying r...
Flaviu Adrian Marginean
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
15 years 10 months ago
Evolving Consensus Sequence for Multiple Sequence Alignment with a Genetic Algorithm
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...
Conrad Shyu, James A. Foster
COMPSAC
2002
IEEE
15 years 9 months ago
A Typed Generic Process Model for Product Focused Process Improvement
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
Manoranjan Satpathy, Rachel Harrison
ICDCS
2002
IEEE
15 years 9 months ago
Cooperative Computing for Distributed Embedded Systems
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh...