Sciweavers

521 search results - page 40 / 105
» Timing Verification Using HDTV
Sort
View
IJIT
2004
14 years 11 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
DKE
2010
112views more  DKE 2010»
14 years 10 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
ICDAR
2009
IEEE
15 years 4 months ago
Robustness of Signature Verification Systems to Imitators with Increasing Skills
In this paper, we study the impact of an incremental level of skill in the forgeries against signature verification systems. Experiments are carried out using both off-line syste...
Fernando Alonso-Fernandez, Julian Fiérrez, ...
INTERSPEECH
2010
14 years 4 months ago
Approaching human listener accuracy with modern speaker verification
Being able to recognize people from their voice is a natural ability that we take for granted. Recent advances have shown significant improvement in automatic speaker recognition ...
Ville Hautamäki, Tomi Kinnunen, Mohaddeseh No...
ICASSP
2011
IEEE
14 years 1 months ago
Feature normalization for speaker verification in room reverberation
The performance of a typical speaker verification system degrades significantly in reverberant environments. This degradation is partly due to the conventional feature extractio...
Sriram Ganapathy, Jason W. Pelecanos, Mohamed Kama...