Sciweavers

19342 search results - page 424 / 3869
» Decentralised Process Modelling
Sort
View
CASE
2011
102views more  CASE 2011»
14 years 7 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ICIP
2004
IEEE
16 years 9 months ago
Quaternion wavelets for image analysis and processing
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
Wai Lam Chan, Hyeokho Choi, Richard G. Baraniuk
ICIP
1998
IEEE
16 years 9 months ago
Reducing the Computational Complexity of a Map Post-Processing Algorithm for Video Sequences
Maximum a posteriori (MAP) filtering using the HuberMarkov random field (HMRF) image model has been shown in the past to be an effective method of reducing compression artifacts i...
Mark A. Robertson, Robert L. Stevenson
ICDE
2005
IEEE
176views Database» more  ICDE 2005»
16 years 9 months ago
Optimizing ETL Processes in Data Warehouses
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis, Panos Vassiliadis, Timos K. Sellis
ICALP
2009
Springer
16 years 7 months ago
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...