This paper investigates the perceptual quality of decoded video bitstreams after packet losses. We focus on lowresolution and low-bit rate video coded by the H.264/AVC encoder, an...
Tao Liu, Yao Wang, Jill M. Boyce, Zhenyu Wu, Hua Y...
Abstract—In this paper, a new variant of the McEliece cryptosystem, based on Quasi-Cyclic Low-Density Parity-Check (QCLDPC) codes, is studied. In principle, such codes can substi...
Marco Baldi, Franco Chiaraluce, Roberto Garello, F...
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
Abstract. This paper describes the CHIL 2007 evaluation data set provided for the Rich Transcription 2007 Meeting Recognition Evaluation (RT07) in terms of recording setup, scenari...
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...