8232 search results - page 290 / 1647 » Dynamic Logic Programming |
159
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
: This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programm...
164
click to vote
ISMB
1994
15 years 8 months ago
1994
The recently-developedgenetic programming paradigmisused to evoIve a computer program to classify a given protein segment as being a transmembrane domainor non-uansmembranearea of...
156
click to vote
ESWA
2002
15 years 6 months ago
2002
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
283
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
203
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...