Sciweavers

11030 search results - page 36 / 2206
» Generative Sound Models
Sort
View
CHI
2002
ACM
14 years 9 months ago
A flexible 3d sound system for interactive applications
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
Lalya Gaye
TSP
2008
59views more  TSP 2008»
13 years 8 months ago
Optimization of Spatiotemporal Apertures in Channel Sounding
Abstract--In this paper, we investigate the impact of the spatiotemporal aperture of a channel sounding system equipped with antenna arrays at the transmitter and receiver on the a...
Troels Pedersen, Claus Pedersen, Xuefeng Yin, Bern...
CORR
2011
Springer
153views Education» more  CORR 2011»
13 years 3 months ago
Proof-Theoretic Soundness and Completeness
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
Robert Rothenberg
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
14 years 1 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
COST
2008
Springer
136views Multimedia» more  COST 2008»
13 years 10 months ago
Articulatory Synthesis of Speech and Singing: State of the Art and Suggestions for Future Research
Articulatory synthesis of speech and singing aims for modeling the production process of speech and singing as human-like or natural as possible. The state of the art is described ...
Bernd J. Kröger, Peter Birkholz