22560 search results - page 377 / 4512 » Development of Transportation Systems |
155
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
139
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
188
click to vote
ISOLA
2007
Springer
16 years 1 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
169
click to vote
NLDB
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose methods and heuristics having high accuracies and low time complexities for filtering spam e-mails. The methods are based on the n-gram approach and a heu...
152
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...