( en | de | ru )

 

Disambiguierung von "Zhang, Xiyue"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.

, , , und . TASE, Seite 107-112. IEEE, (2019)

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Xianghui Zhang

Le Zhang

Gang Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

Spatial-Temporal Convolutional Graph Attention Networks for Citywide Traffic Flow Forecasting., , , und . CIKM, Seite 1853-1862. ACM, (2020)Towards a Unifying Logical Framework for Neural Networks., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 442-461. Springer, (2022)Towards characterizing adversarial defects of deep learning software from the lens of uncertainty., , , , , , , und . ICSE, Seite 739-751. ACM, (2020)Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq., , , und . TASE, Seite 107-112. IEEE, (2019)Reasoning About Connectors in Coq., , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 172-190. (2016)Forecasting traffic flow with spatial-temporal convolutional graph attention networks., , und . Neural Comput. Appl., 34 (18): 15457-15479 (2022)Safe Inputs Approximation for Black-Box Systems., , , , , und . ICECCS, Seite 180-189. IEEE, (2019)Using Coq for Formal Modeling and Verification of Timed Connectors., , , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 558-573. Springer, (2017)Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks., , , , und . CoRR, (2024)In the Age of Collaboration, the Computer-Aided Design Ecosystem is Behind: An Interview Study of Distributed CAD Practice., , , , und . Proc. ACM Hum. Comput. Interact., 7 (CSCW1): 1-29 (April 2023)