6796 search results - page 1040 / 1360 » Java for Embedded Systems |
126
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
136
click to vote
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
We describe in this paper the building of a vision sensor able to provide video capture and the associated global motion between two consecutive frames. Our objective is to propose...
119
click to vote
DRM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
130
click to vote
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Nearly all Multi-Objective Evolutionary Algorithms (MOEA) rely on random generation of initial population. In large and complex search spaces, this random method often leads to an ...
161
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...