146 search results - page 5 / 30 » System level verification of video and image processing spec... |
IJON
2002
14 years 9 months ago
2002
Image content analysis has become an important issue in multimedia processing. Region-based image retrieval systems attempt to reduce the gap between high-level semantics and low-l...
VRST
2005
ACM
15 years 3 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
ENTCS
2008
14 years 9 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
MVA
1992
14 years 10 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...