7961 search results - page 291 / 1593 » Input-Output Model Programs |
148
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
158
click to vote
APIN
1998
15 years 4 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
137
click to vote
SI3D
1992
ACM
15 years 8 months ago
1992
ACM
3dm is a three dimensional (3D) surface modeling program that draws techniques of model manipulation from both CAD and drawing programs and applies them to modeling in an intuitiv...
117
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
159
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe our recent use of genetic programming methods to automatically discover CA rule sets that produce self-replication of arbitrary given structures. Our init...