623 search results - page 37 / 125 » Declarative Network Verification |
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
The performance of face verification systems has steadily improved over the last few years, mainly focusing on models rather than on feature processing. State-of-the-art methods o...
ESANN
2004
13 years 10 months ago
2004
In text-dependent speaker verification the speech signals have to be time-aligned. For that purpose dynamic time warping (DTW) can be used which performs the alignment by minimizi...
ICNP
1998
IEEE
14 years 1 months ago
1998
IEEE
We present chaining techniques for signing/verifying multiple packets using a single signing/verification operation. We then present flow signing and verification procedures based...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
DSN
2007
IEEE
14 years 20 days ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...