3228 search results - page 55 / 646 » Computationally Sound Proofs |
AICOM
2000
13 years 8 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...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
ICASSP
2011
IEEE
13 years 16 days 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...
RTA
1999
Springer
14 years 1 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...
ICASSP
2007
IEEE
14 years 3 months 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 ...