Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Meihua Liu

dblp:34/10205 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
6since 2021 · last 2026
—ORCID · conflict

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

Systems, architecture and hardware · 3 · 3 since 2021Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer graphics and multimedia
1 paper
Image and video processing · 67% Visual content generation and editing · 33%
Artificial intelligence
1 paper
Information extraction and text analysis · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Visual content generation and editing
image retargeting
0.912025
Image Retargeting based on Text Region Awareness · ACM Multimedia 2025
Image and video processing
image segmentation
0.912025
Image Retargeting based on Text Region Awareness · ACM Multimedia 2025
Image and video processing › image segmentation
semantic segmentation
0.912025
Image Retargeting based on Text Region Awareness · ACM Multimedia 2025
Natural language and speech › Information extraction and text analysis
text segmentation
0.312025
Image Retargeting based on Text Region Awareness · ACM Multimedia 2025

Methods — techniques the papers use, named apart from their topics

unsupervised learning · 1.7cycle consistency · 1.7attention mechanism · 1.7
YearPublicationVenuePosition
2026 VERIMLA: A Unified Framework for Verilog Generation via Multi-Level Alignment and Formal Equivalence Verification
Wing W. Y. Ng, Wen Li 0015, Meihua Liu
ISCAS5
2026 SVVHD: An Open-Source and Self-Verified Benchmark Framework for LLM Evaluation in VHDL Code Generation
Yan Huang 0031, Meihua Liu
ISCAS4
2026 Accelerating hardware formal verification via AutoML-driven SMT runtime prediction and solver selection
Wenda Leng, Meihua Liu, Yufeng Jin
Integr.2
2025 Image Retargeting based on Text Region Awareness
abstract
Image retargeting (IR) with text regions is a challenging yet underexplored task that focuses on resizing an image's aspect ratio while preserving both semantic objects and the legibility of textual content. This task introduces three primary challenges, which can be summarized as follows: (1) the distinct probability distributions between text and non-text regions in images; (2) the lack of dedicated mechanisms in existing IR methods for handling text regions, often leading to text distortion or blurring; (3) the absence of paired datasets specifically designed for IR tasks involving text regions. To tackle these challenges, we propose SSIR, a unified framework that reformulates IR as a joint Semantic Segmentation and Image Retargeting (SS-IR) task, leveraging an attention mechanism to bridge these components. Specifically, we first employ a semantic segmentation sub-network that extracts text region features using text segmentation techniques to improve text-awareness in retargeting tasks. Then, we integrate text features into the image's visual representation through an attention-driven module designed to preserve both textual and semantic content during retargeting. Finally, we address the absence of paired datasets with an unsupervised learning paradigm based on a Cycle-IR framework, which employs cyclic consistency reconstruction, enabling effective learning without the need for paired training data. Experimental results show that the SSIR algorithm effectively preserves text information and delivers high-quality visual retargeting results.
Gang Pan 0002, Meihua Liu, Lei Zhou 0031, Di Sun 0001
ACM Multimedia2
2025 Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification
Wenda Leng, Meihua Liu, Yufeng Jin
TASE2
2021 Fairness-Aware Resource Allocation in Full-Duplex Backscatter-Assisted Wireless Powered Communication Networks
abstract
In this paper, we introduce a full‐duplex backscatter‐assisted wireless powered communication network (FDBA‐WPCN) with a full‐duplex access point (FAP) and multiple energy harvesting wireless devices (WDs). The communication mode is a combination of backscatter communication (BC) and harvest‐then‐transmit (HTT). The entire time period of network is divided into energy harvesting/backscattering (EHB) period and information transmission (IT) period. In the EHB period, each WD either reflects information to the FAP by backscatter or harvests energy to prepare for the IT period. In the IT period, the WDs use their harvested energy to transmit information to FAP in time division multiple access (TDMA). However, under the setting, WDs with different distances from FAP will encounter unfairness in throughput due to the round‐trip path loss in backscatter and the doubly near‐far problem in HTT. To overcome the drawback, an optimization problem is considered to maximize the sum throughput under the condition of ensuring throughput fairness. By using convex optimization techniques, we obtain the optimal time allocation and the maximum same throughput of each WD. Comparing to the other two benchmark schemes, the simulation results prove the superiority of our proposed method.
Rui Jiang 0007, Meihua Liu, Xiaoming Wang 0011, Youyun Xu
Wirel. Commun. Mob. Comput.2