759 search results - page 55 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
119
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
117
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper proposes to characterize the fingerprint orientation using a novel topological representation, which transforms the orientation field into a map composed of a set of ...
145
click to vote
PAMI
2008
15 years 5 days ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
81
Voted
IJCAI
2007
15 years 2 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...