Sciweavers

11030 search results - page 73 / 2206
» Generative Sound Models
Sort
View
FTRTFT
1998
Springer
14 years 1 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
ACMACE
2007
ACM
14 years 1 months ago
Application of dimensionality reduction techniques to HRTFS for interactive virtual environments
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...
Bill Kapralos, Nathan Mekuz
CAV
2004
Springer
154views Hardware» more  CAV 2004»
14 years 1 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
COST
2008
Springer
122views Multimedia» more  COST 2008»
13 years 11 months ago
Articulatory Speech Re-synthesis: Profiting from Natural Acoustic Speech Data
The quality of static phones (e.g. vowels, fricatives, nasals, laterals) generated by articulatory speech synthesizers has reached a high level in the last years. Our goal is to ex...
Dominik Bauer, Jim Kannampuzha, Bernd J. Krög...
CVPR
2010
IEEE
13 years 7 months ago
Image restoration and disparity estimation from an uncalibrated multi-layered image
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
Takahiro Yano, Masao Shimizu, Masatoshi Okutomi