1219 search results - page 60 / 244 » Verification of Equivalent-Results Methods |
ENTCS
2006
13 years 8 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
COMCOM
2000
13 years 8 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
INTERSPEECH
2010
13 years 3 months ago
2010
We present a new method for speaker verification that uses the diversity of information from multiple feature representations. The principle behind the method is that certain feat...
ICIC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose a novel on-line handwritten signature verification method. Firstly, the pen-position parameters of the on-line signature are decomposed into multiscale si...
ISI
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an improved speaker verification technique that is especially appropriate for surveillance scenarios. The main idea is a metalearning scheme aimed at improving ...