Sciweavers

1399 search results - page 94 / 280
» Verification of Test Suites
Sort
View
ICDAR
2007
IEEE
15 years 8 months ago
Towards Explainable Writer Verification and Identification Using Vantage Writers
In this paper, a new method for off-line writer verification and identification is proposed which encodes writer features as a mix of typical handwriting styles, written by so-cal...
Axel Brink, Lambert Schomaker, Marius Bulacu
INFORMATICALT
2008
154views more  INFORMATICALT 2008»
15 years 4 months ago
A Novel Biometric Personal Verification System Based on the Combination of Palmprints and Faces
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
Slobodan Ribaric, Ivan Fratric, Kristina Kis
TCAD
2008
103views more  TCAD 2008»
15 years 4 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim
CORR
2011
Springer
216views Education» more  CORR 2011»
14 years 11 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
INEX
2004
Springer
15 years 10 months ago
Reliability Tests for the XCG and inex-2002 Metrics
In this paper we compare the effectiveness scores and system rankings obtained with the inex-2002 metric, the official measure of INEX 2004, and the XCG metrics proposed in [4] an...
Gabriella Kazai, Mounia Lalmas, Arjen P. de Vries