858 search results - page 44 / 172 » Formal Verification of Digital Systems |
100
click to vote
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper proposes a new hybrid handwritten signature verification system where the on-line reference data acquired through a digitizing tablet serves as the basis for the segmen...
ICBA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we propose to use the technology of multiple correlation filters to address the issues involved in still-reference-to-video-sequence face verification. In particular,...
UML
2001
Springer
15 years 3 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
ASIAN
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...