3342 search results - page 57 / 669 » Symbolic Robustness Analysis |
140
click to vote
ICC
2007
IEEE
16 years 1 days ago
2007
IEEE
— Due to relative motion between the transmitter and the receiver, the carrier of the received signal in digital burstmode transmission can be affected by Doppler distortion. Thi...
158
click to vote
CONTEXT
2007
Springer
15 years 12 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
183
Voted
APN
2000
Springer
15 years 9 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
200
Voted
CMMR
2009
Springer
15 years 9 months ago
2009
Springer
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...