3342 search results - page 228 / 669 » Symbolic Robustness Analysis |
166
click to vote
ASWEC
2006
IEEE
16 years 19 days ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
142
click to vote
ICDAR
2005
IEEE
16 years 5 days ago
2005
IEEE
We describe a new corpus collected for comparative evaluation of OCR-software and postcorrection techniques. The corpus is freely available for academic groups and use. The major ...
139
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In style-constrained classification often there are only a few samples of each style and class, and the correspondences between styles in the training set and the test set are un...
175
click to vote
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
150
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
The purpose of this study is to automatically extract telop and flip characters. It starts from the extraction of stable frame sections including the telop and flip characters. Ne...