8828 search results - page 1210 / 1766 » Formal methods in practice |
188
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Super-resolution is the task of creating an high resolution image from a low resolution input sequence. To overcome the difficulties of fine image registration, several methods ...
230
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...
155
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The performance of a fixed beamformer highly depends on the position of the microphones in the array. In this paper, different heuristic optimisation approaches for arbitrary pla...
183
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The goal of the work described here is to limit the computation needed in unit selection Viterbi search for text-to-speech synthesis. The broader goal is to improve speech quality...
161
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Frame (upper and lower) bound ratio is a key factor of numerical stability of frame systems. While tight frames, of which the minimal ratio 1 is achieved, are much preferred in ma...