3771 search results - page 153 / 755 » Subobject Transformation Systems |
134
Voted
IDA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We apply sparse, fast and flexible adaptive lapped orthogonal transforms to underdetermined audio source separation using the time-frequency masking framework. This norm...
125
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
337
Voted
IAJIT
2011
14 years 7 months ago
2011
: Many effective watermarking algorithms have been proposed and implemented for digital images and digital video, however, few algorithms have been proposed for audio watermarking....
148
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
139
Voted
TAGT
1998
Springer
15 years 7 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...