Abstract: Theorem proving demonstrates promising potential for verifying problems beyond the capabilities of SMT-solver-based verification tools. We explore and showcase the capability of Lean, an ...
Abstract: Inspired by image-to-image translation, we applied deep learning (DL) to regularly missing data reconstruction, aimed at translating incomplete data into their corresponding complete data.
We propose a Blurry video frame INterpolation method to reduce motion blur and up-convert frame rate simultaneously. We provide videos here. Futher more, in the journal version (accepted by TIP), we ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results