3342 search results - page 463 / 669 » Symbolic Robustness Analysis |
177
click to vote
MVA
1992
15 years 7 months ago
1992
An increasing number of comfortable publishing systems nowadays leads to documents containing more than just textual information. Graphics and images are combined with text and of...
182
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
178
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, a new control approach for real time speed synchronization of multiple induction motors during speed acceleration and load changes is developed. The control strategy...
156
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
The extraction of local tempo and beat information from audio recordings constitutes a challenging task, particularly for music that reveals significant tempo variations. Further...
150
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
A new method is proposed to jointly estimate the shape parameter of a glottal model and its time position in a voiced segment. We show that, the idea of phase flatness (or phase ...