4401 search results - page 216 / 881 » Computing with Default Logic |
171
click to vote
EUROGP
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
126
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
122
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
128
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
115
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...