( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Safe Inputs Approximation for Black-Box Systems.

, , , , , и . ICECCS, стр. 180-189. IEEE, (2019)

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.

Zhang Zhang

Meng Zhang

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

Yan Zhang

Yue Zhang

Jinle Zhang

 

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

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