EDBT 2026 Demo / reviewers in the wild / expert
Depeng Liu
dblp:188/5808
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
VMCAI | 1 |
| 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 |
FM | 3 |
| 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 |
APLAS | 1 |
| 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 EstimationabstractTo 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 |