The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
— In many video compression systems, the frames are down-sampled before transmission. Also, in many scalable systems, the residual after down- and up-sampling is encoded and tran...
Fernanda Brandi, Ricardo L. de Queiroz, Debargha M...
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
Michael Sedlmair, Wolfgang Hintermaier, Konrad Sto...
We propose an adaptive ltering approach for coding video that exhibits localized camera focus changes, e.g., such that different portions of a video frame can undergo different bl...
PoLin Lai, Yeping Su, Peng Yin, Cristina Gomila, A...