Sciweavers

5550 search results - page 980 / 1110
» Different Approaches to Proof Systems
Sort
View
HASKELL
2008
ACM
15 years 7 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
MM
2010
ACM
252views Multimedia» more  MM 2010»
15 years 6 months ago
Real-time detection of unusual regions in image streams
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
Rene Schuster, Roland Mörzinger, Werner Haas,...
ICASSP
2010
IEEE
15 years 6 months ago
Leveraging evaluation metric-related training criteria for speech summarization
Many of the existing machine-learning approaches to speech summarization cast important sentence selection as a two-class classification problem and have shown empirical success f...
Shih-Hsiang Lin, Yu-Mei Chang, Jia-Wen Liu, Berlin...
ICASSP
2010
IEEE
15 years 6 months ago
Classifying laughter and speech using audio-visual feature prediction
In this study, a system that discriminates laughter from speech by modelling the relationship between audio and visual features is presented. The underlying assumption is that thi...
Stavros Petridis, Ali Asghar, Maja Pantic
ICASSP
2010
IEEE
15 years 6 months ago
A comparative study of tonal acoustic features for a symbolic level music-to-score alignment
In this paper we review the acoustic features used for music-to-score alignment and study their influence on the performance in a challenging alignment task, where the audio data...
Cyril Joder, Slim Essid, Gaël Richard