Speech processing is typically based on a set of complex algorithms requiring many parameters to be specified. When parts of the speech processing chain do not behave as expected...
Thilo Stadelmann, Yinghui Wang, Matthew Smith, Ral...
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
In this paper, we propose a novel motion vector processing approach based on the temporal analysis of motion vector reliability for motion-compensated frame interpolation. We firs...