1001 search results - page 30 / 201 » Testing Formal Dialectic |
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
ESAW
2009
Springer
14 years 2 months ago
2009
Springer
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
ISCAS
1999
IEEE
14 years 12 hour ago
1999
IEEE
An acoustic-phonetic feature- and knowledge-based system for the automatic segmentation, broad categorization and fine phoneme recognition of continuous speech is described. The s...
LREC
2010
13 years 9 months ago
2010
We will look at how maps can be integrated in research resources, such as language databases and language corpora. By using maps, search results can be illustrated in a way that i...
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...