Sciweavers

2169 search results - page 327 / 434
» Testing Incremental Adaptation
Sort
View
ISMIR
2001
Springer
146views Music» more  ISMIR 2001»
14 years 18 days ago
An Audio Front End for Query-by-Humming Systems
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
Emanuele Pollastri
CLEAR
2006
Springer
190views Biometrics» more  CLEAR 2006»
13 years 12 months ago
Evaluation of USC Human Tracking System for Surveillance Videos
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
Bo Wu, Xuefeng Song, Vivek Kumar Singh, Ram Nevati...
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
13 years 11 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
CEAS
2008
Springer
13 years 10 months ago
Improved Phishing Detection using Model-Based Features
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
André Bergholz, Jeong Ho Chang, Gerhard Paa...
DPHOTO
2010
360views Hardware» more  DPHOTO 2010»
13 years 9 months ago
Signal-dependent raw image denoising using sensor noise characterization via multiple acquisitions
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...
Angelo Bosco, Arcangelo Bruna, D. Giacalone, Sebas...