3457 search results - page 124 / 692 » A Symbol Is Not a Symbol |
112
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
128
click to vote
HUC
2007
Springer
15 years 7 months ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
77
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— For the number of transmit antennas N = 2a the maximum rate (in complex symbols per channel use) of all the Quasi-Orthogonal Designs (QODs) reported in the literature is a 2aâˆ...
110
click to vote
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
89
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Optimal constellation design is important in military digital communications for Quadrature Amplitude Modulation (QAM). Optimization realizes a reduced probability of bit error (P...