Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.

Christel Baier Bettina Engelen

Published in: ARTS (1999)

Keyphrases

distributed systems
uncertain data
management system
computer systems
building blocks
data sets
video sequences
expert systems
wavelet transform
retrieval systems
image coding
communication channels
probability theory