5525 search results - page 248 / 1105 » Verification of Model Transformations |
133
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The work presented in this paper is an extension of our two previous works [1, 2]. In the first paper [1], we proposed a low dimensional feature (i-vectors) extractor which is su...
138
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
137
Voted
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
112
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose an iterative scheme of spatio-temporal local color transformation of background and graphcut segmentation for silhouette extraction. Given an initial background subtrac...
165
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...