Sciweavers

2624 search results - page 355 / 525
» On Business Process Model Transformations
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 23 hour ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICIP
1998
IEEE
15 years 10 months ago
Spatially Adaptive Wavelet Thresholding with Context Modeling for Image Denoising
The method of wavelet thresholding for removing noise, or denoising, has been researched extensively due to its effectiveness and simplicity. Much of the literature has focused on ...
S. Grace Chang, Bin Yu, Martin Vetterli
IICAI
2007
15 years 7 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
ICIP
2007
IEEE
15 years 6 months ago
Statistical Multiscale Image Segmentation via Alpha-Stable Modeling
This paper presents a new statistical image segmentation algorithm, in which the texture features are modeled by Symmetric Alpha-Stable (SαS) distributions. These features are ef...
Tao Wan, Cedric Nishan Canagarajah, Alin Achim
ICASSP
2011
IEEE
14 years 10 months ago
Non-linear noise compensation for robust speech recognition using Gauss-Newton method
In this paper, we present the Gauss-Newton method as a unified approach to optimizing non-linear noise compensation models, such as vector Taylor series (VTS), data-driven parall...
Yong Zhao, Biing-Hwang Juang