3228 search results - page 468 / 646 » Computationally Sound Proofs |
121
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Automatically extracting temporal information from musical recordings is inarguably one of the most critical subtasks of many music information retrieval systems. In this paper we...
135
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
137
Voted
AVSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes an audio-based video surveillance system which automatically detects anomalous audio events in a public square, such as screams or gunshots, and localizes the...
107
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
126
Voted
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
Deficiencies in the ability to map letters to sounds are currently considered to be the most likely early signs of dyslexia [4]. This has motivated the use of Literate, a compute...