2488 search results - page 68 / 498 » An improvement in formal verification |
87
Voted
ICPR
2002
IEEE
16 years 1 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...
116
Voted
ISSRE
2000
IEEE
15 years 5 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...
129
click to vote
IFM
2010
Springer
14 years 10 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...
85
Voted
ICASSP
2009
IEEE
15 years 7 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.” ...
106
Voted
VLSI
2007
Springer
15 years 6 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...