3228 search results - page 55 / 646 » Computationally Sound Proofs |
150
click to vote
AICOM
2000
15 years 5 months ago
2000
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
113
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
A recent approach to surround sound is to perform exact control of the sound field over a region of space. Here, the driving signals for an array of loudspeakers are chosen to cr...
154
click to vote
RTA
1999
Springer
15 years 10 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
184
click to vote
ICASSP
2007
IEEE
16 years 11 days ago
2007
IEEE
The goal of computational auditory scene analysis (CASA) is to create computer systems that can take as input a mixture of sounds and form packages of acoustic evidence such that ...