Depeng Liu

dblp:188/5808 · DBLP profile ↗
← Back
7ranked-venue papers
3as first author
4since 2021 · last 2023
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 2 first-author · 2 since 2021Theory of computation · 3 · 1 first-author · 3 since 2021Artificial intelligence and machine learning · 1
YearPublicationVenuePosition
2023 Model checking differentially private properties
Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001
Theor. Comput. Sci.1
2022 Verifying Pufferfish Privacy in Hidden Markov Models
Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001
VMCAI1
2021 Formal Verification of Consensus in the Taurus Distributed Database
Song Gao 0014, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang 0001
FM3
2021 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu
Inf. Comput.4
2018 Model Checking Differentially Private Properties
Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001
APLAS1
2017 A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees
Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu
TACAS (1)4
2017 Motion-Compensated Temporal Frame Interpolation Algorithm Based on Global Entirety Unidirectional Motion Estimation and Local Fast Bidirectional Motion Estimation
abstract
To solve the uncertainty of motion for objects displayed on liquid crystal display (LCD), the motion estimation (ME) algorithm on the basis of global entirety unidirectional motion and local fast bidirectional motion (GEU-LFB) is proposed for motion-compensated temporal frame interpolation (MCTFI). Firstly, by observing the moving objects in the scene, we will obtain a set of global motion vectors (MVs). Secondly, the fast local search based on the bidirectional ME is executed. Additionally, to make up for the defect of the bidirectional ME, a method to generate the exposure mask and the occlusion mask is proposed by cleverly using the matching criterion of absolute difference and the set of global MVs. Next, the optimal MV field is smoothed by the vector median filter. Finally, the temporal interpolation frame obtained through the weighted filtering compensation method is further improved by using masks. Overall, the experimental results show that the proposed algorithm has better performance than the existing methods in terms of objective and subjective criteria. Moreover, it can solve problems of exposure and occlusion, and get better frame interpolation for the video sequence with fast moving targets.
Fengchun Tian, Minjun Deng, Depeng Liu
Int. J. Pattern Recognit. Artif. Intell.4