Sciweavers

146 search results - page 4 / 30
» System level verification of video and image processing spec...
Sort
View
ICIP
1999
IEEE
15 years 11 months ago
Architecture of Embedded Video Processing in a Multimedia Chip-Set
A new chip-set for video display processing in a consumer television or set-top box is presented. Key aspect of the chip-set is a high flexibility and programmability of multi-win...
Egbert G. T. Jaspers, Peter H. N. de With
ICIP
2007
IEEE
15 years 3 months ago
Water Level Detection for Functionally Layered Video Coding
This paper proposes a new type of layered video coding especially for the use of monitoring a river or a water channel. A sensor node of the system decomposes a video signal into ...
Masahiro Iwahashi, Sakol Udomsiri, Yuji Imai, Shog...
ICIP
2001
IEEE
15 years 11 months ago
Integrated multimedia processing for topic segmentation and classification
In this paper we describe integrated multimedia processing for Video Scout, a system that segments and indexes TV programs according to their audio, visual, and transcript informa...
Radu S. Jasinschi, Nevenka Dimitrova, Thomas McGee...
BPM
2006
Springer
126views Business» more  BPM 2006»
14 years 11 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
AINA
2003
IEEE
15 years 1 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu