5239 search results - page 681 / 1048 » Model-Integrated Embedded Systems |
169
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
228
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
207
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
163
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Semi-fragile watermarking can be used to detect illegal and local manipulation of images, while being robust towards legal manipulations such as lossy compression. This paper desc...
191
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
The industry is currently starting to use MPEG-4 compressed digital video for surveillance applications. The transition from analog to digital video raises difficulties for using ...