5525 search results - page 391 / 1105 » Verification of Model Transformations |
192
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
172
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper presents a syntax-driven approach to question answering, specifically the answer-sentence selection problem for short-answer questions. Rather than using syntactic fea...
109
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we present a novel approach for estimating featurespace maximum likelihood linear regression (fMLLR) transforms for full-covariance Gaussian models by directly maxim...
182
click to vote
ICIP
2003
IEEE
16 years 8 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...
197
click to vote
ICASSP
2008
IEEE
16 years 1 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...