Sciweavers

1817 search results - page 162 / 364
» Extensive Games as Process Models
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 9 months 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
130
Voted
UML
2001
Springer
15 years 7 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
ICIP
1998
IEEE
15 years 7 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
CORR
2007
Springer
134views Education» more  CORR 2007»
15 years 3 months ago
Web data modeling for integration in data warehouses
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
Sami Miniaoui, Jérôme Darmont, Omar B...
TASLP
2008
104views more  TASLP 2008»
15 years 3 months ago
A New Model-Based Algorithm for Optimizing the MPEG-AAC in MS-Stereo
Abstract--In this paper, a new model-based algorithm for optimizing the MPEG-Advanced Audio Coder (AAC) in MS-stereo mode is presented. This algorithm is an extension to stereo sig...
Olivier Derrien, Gaël Richard