1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Possibilistic Computation Tree Logic over Finitely-Valued Kripke Structures: Decidability and Complete Axiomatization
Yongming Li
Possibilistic computation tree logic (PoCTL) is a branching-time temporal logic for specifying and verifying systems whose behavior is described by possibility theory. Although the…
cs.HC2025★ 1 cited
Automated UX Insights from User Research Videos by Integrating Facial Emotion and Text Sentiment
Simran Kaur Ghatoray, Yongmin Li
Emotion recognition technology has been studied from the past decade. With its growing importance and applications such as customer service, medical, education, etc., this research…
cs.MM2024
Combining Genre Classification and Harmonic-Percussive Features with Diffusion Models for Music-Video Generation
Leonardo Pina, Yongmin Li
This study presents a novel method for generating music visualisers using diffusion models, combining audio input with user-selected artwork. The process involves two main stages:…