5639 search results - page 947 / 1128 » Timed Abstract Non-interference |
119
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
125
Voted
TASLP
2008
15 years 2 months ago
2008
Abstract--During a music performance, the musician adds expressiveness to the musical message by changing timing, dynamics, and timbre of the musical events to communicate an expre...
122
Voted
TASLP
2008
15 years 2 months ago
2008
Abstract--Regions of nonmodal phonation, which exhibit deviations from uniform glottal-pulse periods and amplitudes, occur often in speech and convey information about linguistic c...
111
Voted
TASLP
2008
15 years 2 months ago
2008
Abstract--We present a new technique for audio signal comparison based on tonal subsequence alignment and its application to detect cover versions (i.e., different performances of ...
111
Voted
TASLP
2008
15 years 2 months ago
2008
Abstract--This paper presents a technique to transform high-effort voices into breathy voices using adaptive pre-emphasis linear prediction (APLP). The primary benefit of this tech...