2488 search results - page 169 / 498 » An improvement in formal verification |
101
click to vote
ACL
1989
15 years 2 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
102
click to vote
JUCS
2008
15 years 1 months ago
2008
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
107
click to vote
JUCS
2006
15 years 1 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
Dynamic cepstral features such as delta and deltadelta cepstra have been shown to play an essential role in capturing the transitional characteristics of the speech signal. In thi...
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
Two years after the first edition, a new Fingerprint Verification Competition (FVC2002) was organized by the authors, with the aim of determining the state-of-theart in this chall...