788 search results - page 105 / 158 » Symbolic Equivalence Checking |
123
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Recent published work suggests that correlative coding can improve OFDM performance by several dB. This work, however, does not consider fully a symbol error rate performance m...
103
Voted
STACS
2007
Springer
15 years 9 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
123
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
115
click to vote
CIAC
2010
Springer
15 years 8 months ago
2010
Springer
A weighted sequence is a string in which a set of characters may appear at each position with respective probabilities of occurrence. A common task is to locate a given motif in a ...
114
click to vote
ISRR
2001
Springer
15 years 7 months ago
2001
Springer
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...