5186 search results - page 782 / 1038 » Embedded Systems |
147
click to vote
SEFM
2005
IEEE
15 years 11 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...
160
click to vote
ACIVS
2005
Springer
15 years 11 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...
139
click to vote
DRM
2005
Springer
15 years 11 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...
136
click to vote
GEOS
2005
Springer
15 years 11 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
173
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Knowledge workers are often embedded in an organizational setting, where execution of processes allows for appropriate, context-sensitive support. When a knowledge worker starts a ...