On the error resilience of ordered binary decision diagrams.
Anna BernasconiValentina CirianiLorenzo LagoPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- error resilience
- ordered binary decision diagrams
- error propagation
- deterministic finite automaton
- model checking
- bitstream
- video coding
- packet loss
- constraint satisfaction problems
- distributed video coding
- video quality
- video transmission
- quantified boolean formulae
- channel coding
- error concealment
- coding scheme
- compressed video
- video codec
- propositional logic
- transform domain
- symmetry breaking
- multiscale
- scalable video coding
- computer simulation
- bit rate
- multi agent