5525 search results - page 928 / 1105 » Verification of Model Transformations |
163
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Maximum-Likelihod Linear Regression (MLLR) transform coefficients have shown to be useful features for text-independent speaker recognition systems. These use MLLR coefficients ...
118
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
Reliable indexing of documents having seal instances can be achieved by recognizing seal information. This paper presents a novel approach for detecting and classifying such multi...
103
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
137
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
158
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...