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.

 

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

Explore Spatio-temporal Aggregation for Insubstantial Object Detection: Benchmark Dataset and Baseline., , , , , , и . CVPR, стр. 3094-3105. IEEE, (2022)RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection., , , , , , , и . CCS, стр. 1837-1852. ACM, (2020)An Efficient Algorithm for Finding a Universal Set of Testable Long Paths., , , и . Asian Test Symposium, стр. 319-324. IEEE Computer Society, (2010)Graph partition based path selection for testing of small delay defects., , , и . ASP-DAC, стр. 499-504. IEEE, (2010)An Empirical Study on China's Inter-provincial Coal Distribution by Railway., , , и . ICAIC (3), том 226 из Communications in Computer and Information Science, стр. 260-266. Springer, (2011)Abstraction-Guided Simulation Using Markov Analysis for Functional Verification., , , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (2): 285-297 (2016)Automatic Selection of Internal Observation Signals for Design Verification., , и . VTS, стр. 203-208. IEEE Computer Society, (2009)Fast path selection for testing of small delay defects considering path correlations., , , и . VTS, стр. 3-8. IEEE Computer Society, (2010)Semi-structured document extraction based on document element block model., , , , , и . CCIS, стр. 461-465. IEEE, (2016)Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification., , , и . J. Electron. Test., 22 (3): 273-285 (2006)