3921 search results - page 188 / 785 » Transforming Models with ATL |
156
click to vote
ICIP
2003
IEEE
16 years 7 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...
163
click to vote
ICASSP
2008
IEEE
15 years 12 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...
151
click to vote
GI
2009
Springer
15 years 10 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...
175
click to vote
IPPS
2000
IEEE
15 years 10 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...
157
click to vote
IJCAI
2007
15 years 7 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...