( en | de | ru )

 

Disambiguierung von "Yang, Yixiao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.

, , , , , , und . RTAS, Seite 231-241. IEEE Computer Society, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yixiao Yun

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

CMB AI Lab at SemEval-2022 Task 11: A Two-Stage Approach for Complex Named Entity Recognition via Span Boundary Detection and Span Classification., , , , , und . SemEval@NAACL, Seite 1603-1607. Association for Computational Linguistics, (2022)Improve Language Modelling for Code Completion by Tree Language Model with Tree Encoding of Context (S)., und . SEKE, Seite 675-777. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)Financial Event Extraction of NEC Dataset Based on Pointer Network., , , , und . CCKS (Evaluation Track), Volume 1711 von Communications in Computer and Information Science, Seite 87-97. Springer, (2022)HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis., , , , , , , und . DAC, Seite 1033-1038. ACM, (2022)Verifying simulink stateflow model: timed automata approach., , , und . ASE, Seite 852-857. ACM, (2016)Single-Shot Phase Retrieval From a Fractional Fourier Transform Perspective., , , und . IEEE Trans. Signal Process., (2024)MDD: A Unified Model-Driven Design Framework for Embedded Control Software., , , , , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (10): 3252-3265 (2022)Attention-Based Multi-level Network for Text Matching with Feature Fusion., und . ACAI, Seite 86:1-86:7. ACM, (2021)Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis., , , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 351-367. Springer, (2023)Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model.. CoRR, (2020)