555 search results - page 22 / 111 » Between Symbol and Language-in-use |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper proposes a new method for peak to average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems using two alternative signalling ...
FORMATS
2005
Springer
14 years 1 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...
GECCO
2005
Springer
14 years 1 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...
TACAS
2001
Springer
14 years 2 days ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...