From post

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.

 

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

Model checking of pushdown systems for projection temporal logic., , и . Theor. Comput. Sci., (2019)MRNET: Multi-Refinement Network for Dual-Pixel Images Defocus Deblurring., , и . ICASSP, стр. 1-5. IEEE, (2023)Driver Violation Prediction based on Neural Network., , , , , и . DSA, стр. 143-152. IEEE, (2022)Natural Scene Text Detection with Multi-channel Connected Component Segmentation., , и . ICDAR, стр. 1375-1379. IEEE Computer Society, (2013)Model Checking Python Programs with MSVL., , , , , и . SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 205-224. Springer, (2019)Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework., , , , и . SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 73-87. Springer, (2019)A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks., , , и . SOFL+MSVL, том 10795 из Lecture Notes in Computer Science, стр. 133-147. Springer, (2017)A Proof System for a Unified Temporal Logic., , , и . COCOON, том 11653 из Lecture Notes in Computer Science, стр. 663-676. Springer, (2019)Arbitrary Shape Scene Text Detection With Adaptive Text Region Representation., , , , , и . CVPR, стр. 6449-6458. Computer Vision Foundation / IEEE, (2019)Research and Application of Loitering Detection Based on Deep Learning., , , , и . DSA, стр. 339-346. IEEE, (2023)