23 search results - page 5 / 5 » Towards an Evolutionary Formal Software-Development Using CA... |
BMCBI
2008
13 years 6 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...
PPSN
1998
Springer
13 years 11 months ago
1998
Springer
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
VSTTE
2005
Springer
14 years 5 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...