You would be forgiven for thinking that the elevator pitch for Daniel Reiter Horn’s latest project sounds familiar. That’s because there’s a good chance you saw it on HBO. In fact, everything about ...

DVRE cuts MaxSAT encoding size offline and clauses online, delivering the fastest complete MBD on ISCAS-85 for both single- ...

Video encoding is one of the most challenging problems faced by current video SoC designers due to very high computation complexity and data bandwidth requirements. This challenge gets compounded by a ...

Maya Angelou once said, "You can't really know where you are going until you know where you have been," and so it is with per-title encoding. What began as a one-dimensional data rate adjustment that ...

Lossy compression schemes can be based on a source model, as in the case of speech compression, or a user or sink model, as is somewhat the case in image compression. In this chapter we look at audio ...