7778 search results - page 1258 / 1556 » Designing Controllers for Reachability |
143
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
164
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
107
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
115
click to vote
FSR
2005
Springer
15 years 10 months ago
2005
Springer
In the near future, off-road mobile robots will feature high levels of autonomy which will render them useful for a variety of tasks on Earth and other planets. Many terrestrial a...
150
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...