788 search results - page 105 / 158 » Symbolic Equivalence Checking |
ICC
2007
IEEE
14 years 2 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...
STACS
2007
Springer
14 years 1 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...
TIME
2002
IEEE
14 years 19 days 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...
CIAC
2010
Springer
14 years 18 days 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 ...
ISRR
2001
Springer
14 years 5 days 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...