3342 search results - page 39 / 669 » Symbolic Robustness Analysis |
135
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we present a unified asymptotic symbol error rate (SER) analysis for linearly modulated signals with equal gain combining (EGC) and selection combining (SC) at the r...
141
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
151
click to vote
ESOP
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
182
click to vote
ICIAP
2009
ACM
16 years 6 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
162
click to vote
GREC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for symbol recognition using structural signatures and a Galois Lattice as classifier. The structural signatures are based on top...