17 search results - page 4 / 4 » Sound morphing by feature interpolation |
CA
1998
IEEE
13 years 9 months ago
1998
IEEE
The new MPEG-4 standard, scheduled to become an International Standard in February 1999, will include support not only for natural video and audio, but also for synthetic graphics...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...