I agree that this site is using cookies. You can find further informations here.
X
Lin, Zhengyao
5  results:
Bookchapter (Online) X
Search for persons X
?
1

Towards a Trustworthy Semantics-Based Language Framework vi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chen, Xiaohong ; Lin, Zhengyao ; Trinh, Minh-Thai. - p. 477-499 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Language-parametric compiler validation with application to..:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,
Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao.. - p. 1004-1019 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

NTIRE 2022 Challenge on Super-Resolution and Quality Enhanc..:

, In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW),
Yang, Ren ; Timofte, Radu ; Zheng, Meisong... - p. 1220-1237 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Flame Recognition System Using YoLo:

, In: Lecture Notes in Electrical Engineering; Frontier Computing,
Yang, Chao-Tung ; Lin, Wen-Yen ; Chen, Yi-Chun.. - p. 239-246 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Achieving analog layout integrity through learning and migr..:

, In: Proceedings of the 39th International Conference on Computer-Aided Design,
Lin, Mark Po-Hung ; Chi, Hao-Yu ; Patyal, Abhishek... - p. 1-8 , 2020
Link: https://dl.acm.org/doi/1..
 
1-5