5525 search results - page 952 / 1105 » Verification of Model Transformations |
130
click to vote
PCM
2010
Springer
15 years 2 months ago
2010
Springer
Spectrum normalization is a process shared by two saliency detection methods, Spectral Residual (SR) and Phase Fourier Transform (PFT). In this paper, we point out that the essence...
142
Voted
SPRINGSIM
2010
15 years 2 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
101
click to vote
TCS
2010
15 years 2 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
141
click to vote
ACL
2009
15 years 1 months ago
2009
An efficient decoding algorithm is a crucial element of any statistical machine translation system. Some researchers have noted certain similarities between SMT decoding and the f...
161
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
The estimation of high-dimensional probability density functions (PDFs) is not an easy task for many image processing applications. The linear models assumed by widely used transf...