2488 search results - page 68 / 498 » An improvement in formal verification |
ICPR
2002
IEEE
14 years 11 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...
ISSRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
IFM
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
We show how an SVM based acoustic speaker verification system can be significantly improved in incorporating new visual features that capture the speaker’s “Body Language.” ...
VLSI
2007
Springer
14 years 4 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...