most citedFormal Consistency Checking over Specifications in Natural Languages

6 citations · 6 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CV2023

OSM-Net: One-to-Many One-shot Talking Head Generation with Spontaneous Head Motions

Jin Liu, Xi Wang, Xiaomeng Fu +4

One-shot talking head generation has no explicit head movement reference, thus it is difficult to generate talking heads with head motions. Some existing works only edit the mouth…

cs.CV2023

MFR-Net: Multi-faceted Responsive Listening Head Generation via Denoising Diffusion Model

Jin Liu, Xi Wang, Xiaomeng Fu +4

Face-to-face communication is a common scenario including roles of speakers and listeners. Most existing research methods focus on producing speaker videos, while the generation of…

cs.CV2023

FONT: Flow-guided One-shot Talking Head Generation with Natural Head Motions

Jin Liu, Xi Wang, Xiaomeng Fu +4

One-shot talking head generation has received growing attention in recent years, with various creative and practical applications. An ideal natural and vivid generated talking head…

cs.CV2023

OPT: One-shot Pose-Controllable Talking Head Generation

Jin Liu, Xi Wang, Xiaomeng Fu +4

One-shot talking head generation produces lip-sync talking heads based on arbitrary audio and one source face. To guarantee the naturalness and realness, recent methods propose to…

cs.SE20146 cited

Formal Consistency Checking over Specifications in Natural Languages

Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang +1

Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concret…