5525 search results - page 155 / 1105 » Verification of Model Transformations |
136
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
119
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
137
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Our objective is to model the visual manifold of object appearance corresponding to geometric transformation. We learn a generative model for object appearance where the appearanc...
117
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper extends our previous work on feature transformationbased support vector machines for speaker recognition by proposing a joint MAP adaptation of feature transformation (...
145
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...