Sciweavers

207 search results - page 19 / 42
» New Editor Introduction
Sort
View
KBSE
1999
IEEE
13 years 12 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle

Publication
319views
12 years 5 months ago
 Viability Evolution: Elimination and Extinction in Evolutionary Computation
Current mainstream Evolutionary Algorithms (EA) are based on the concept of selection, encapsulated in the definition of a fitness function. Besides selection, however, the natur...
Claudio Mattiussi
QUEUE
2007
63views more  QUEUE 2007»
13 years 7 months ago
The Code Delusion
st sacred importance of an abstract and one-dimensional genetic code—a code so thinly connected to the full-fleshed reality of our selves that its entire import could be captured...
Stan Kelly-Bootle
GD
2004
Springer
14 years 1 months ago
Gravisto: Graph Visualization Toolkit
Gravisto, the Graph Visualization Toolkit, is more than a (Java-based) editor for graphs. It includes data structures, graph algorithms, several layout algorithms, and a graph view...
Christian Bachmaier, Franz-Josef Brandenburg, Mich...
ITICSE
2000
ACM
14 years 1 days ago
The ANIMAL algorithm animation tool
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
Guido Rößling, Markus Schüer, Bern...