2607 search results - page 352 / 522 » Complete Functional Synthesis |
123
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintenance trains travel in convoy. In Australia, only the first train of the convoy pays attention to the track signalization (the other convoy vehicles simply follow the prece...
116
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...
125
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
124
click to vote
ICTCS
2007
Springer
15 years 10 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
127
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...