34 search results - page 1 / 7 » Liveness with Incomprehensible Ranking |
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
TASLP
2010
13 years 5 months ago
2010
This article addresses the modeling of reverberant recording environments in the context of under-determined convolutive blind source separation. We model the contribution of each ...
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
ECCV
2010
Springer
14 years 4 months ago
2010
Springer
Spoofing with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
EMNLP
2010
13 years 9 months ago
2010
Automatic evaluation of Machine Translation (MT) quality is essential to developing highquality MT systems. Various evaluation metrics have been proposed, and BLEU is now used as ...