From post

Automatic Generation of Specification from Natural Language Based on Temporal Logic.

, , , , и . SOFL+MSVL, том 12723 из Lecture Notes in Computer Science, стр. 154-171. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formalization of Natural Language into PPTL Specification via Neural Machine Translation., , , , и . SOFL+MSVL, том 13854 из Lecture Notes in Computer Science, стр. 79-92. Springer, (2022)Automatic Generation of Specification from Natural Language Based on Temporal Logic., , , , и . SOFL+MSVL, том 12723 из Lecture Notes in Computer Science, стр. 154-171. Springer, (2020)A PBCH Reception Algorithm in 5G Broadcasting., , , и . BMSB, стр. 1-6. IEEE, (2022)A Reduced-Reference Quality Assessment Metric for Textured Mesh Digital Humans., , , , , , , и . ICASSP, стр. 2965-2969. IEEE, (2024)Q-Boost: On Visual Quality Assessment Ability of Low-Level Multi-Modality Foundation Models., , , , , , , , , и 2 other автор(ы). ICME Workshops, стр. 1-6. IEEE, (2024)A Full- Reference Quality Assessment Metric for Cartoon Images., , , , и . MMSP, стр. 1-6. IEEE, (2022)A Real-Time Blind Quality-of-Experience Assessment Metric for HTTP Adaptive Streaming., , , и . ICME, стр. 1661-1666. IEEE, (2023)Q-Bench: A Benchmark for General-Purpose Foundation Models on Low-level Vision., , , , , , , , , и 1 other автор(ы). ICLR, OpenReview.net, (2024)NTIRE 2024 Quality Assessment of AI-Generated Content Challenge., , , , , , , , , и 90 other автор(ы). CoRR, (2024)AGIQA-3K: An Open Database for AI-Generated Image Quality Assessment., , , , , , , и . IEEE Trans. Circuits Syst. Video Technol., 34 (8): 6833-6846 (августа 2024)