9626 search results - page 459 / 1926 » Invariant Based Programming |
187
click to vote
EUROGP
2004
Springer
16 years 6 days ago
2004
Springer
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
158
click to vote
PCM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...
174
click to vote
TFM
2004
Springer
16 years 5 days ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
202
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
172
click to vote
MEMOCODE
2003
IEEE
16 years 3 days ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...