3984 search results - page 259 / 797 » A Model-Driven Transformation Method |
152
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
163
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we propose a novel method for rapid feature space Maximum Likelihood Linear Regression (FMLLR) speaker adaptation based on bilinear models. When the amount of adapt...
141
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, an effective multiresolution image representation using the combination of 2D quincunx filter bank (FB) and directional wavelet transform (WT) is presented. The pro...
164
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper a new content-based copy identification method for video sequences is presented. It is robust to a number of image transformations and particulary robust to compress...
127
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
Robustness of parameter estimation relies on discriminating inliers from outliers within the set of correspondences. In this paper, we present a method using tensor voting to elim...