Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.
Wolfram-Manfred LippePublished in: Fachtagung über Programmiersprachen (1976)
Keyphrases
- bit error rate
- error rate
- joint source and channel coding
- physical layer
- computer simulation
- channel capacity
- vector quantization
- signal to noise ratio
- channel coding
- analytical model
- ofdm system
- social networks
- search algorithm
- multipath
- wireless channels
- bayesian networks
- image compression
- wavelet transform
- evolutionary algorithm
- multi agent
- multiscale
- soft decision
- image sequences