3888 search results - page 287 / 778 » Change-Driven Model Transformations |
176
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...
190
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a video denoising algorithm based on a spatiotemporal Gaussian scale mixture (ST-GSM) model in the wavelet transform domain. This model simultaneously captures local co...
181
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
194
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
159
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...