Yiyun Liu

1. A Formal Model of Checked C
   2022/01/31 by Liyi Li, Li, Liyi, Yiyun Liu +9 · 2 voices
   #cs.PL #cs.SE
2. Progressive Knowledge Transfer Based on Human Visual Perception Mechanism for Perceptual Quality Assessment of Point Clouds
   2022/11/30 by Qi Liu, Yiyun Liu, Liu, Qi +7 · 1 citation
   Business, Management and Accounting · Computer Science · Medicine · #Computer Vision and Pattern Recognition (cs.CV) #Consumer Perception and Purchasing Behavior #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Image and Video Quality Assessment #Infrared Thermography in Medicine #electronic engineering #information engineering
3. Consistency of a Dependent Calculus of Indistinguishability
   2025/01/07 by Yiyun Liu, Jonathan Chan, Stephanie Weirich · 1 voice · 1 citation
   Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge