( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
DssEC: A Deep State Sequence Based Equivalence Checker.

, , , , , , и . CSAE, стр. 31:1-31:6. ACM, (2021)

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.

Haitao Gao

Haitao Huang

Haitao Chen

Haitao Wang

Haitao Rong

 

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

Performance evaluation of hybrid WOA-XGBoost, GWO-XGBoost and BO-XGBoost models to predict blast-induced ground vibration., , , , , и . Eng. Comput., 38 (5): 4145-4162 (2022)An Efficient Four-Parameter Affine Motion Model for Video Coding., , , , , , , и . IEEE Trans. Circuits Syst. Video Technol., 28 (8): 1934-1948 (2018)Region based motion vector prediction using data hiding and decoder side reasoning., , , , и . VCIP, стр. 1-4. IEEE, (2011)Multi-thread Simulation-based Equivalence Checking between SIM and RTI., , , , , , и . CSAE, стр. 51:1-51:6. ACM, (2020)Morphology Design of Soft Strain Sensors with Superior Stability for Wearable Rehabilitation Robots., , , , , и . ICIRA (3), том 14269 из Lecture Notes in Computer Science, стр. 576-583. Springer, (2023)Cyclone Intensity Estimate with Context-Aware Cyclegan., , , и . ICIP, стр. 3417-3421. IEEE, (2019)Intra prediction with adaptive CU processing order in HEVC., , , , , и . ICIP, стр. 3724-3728. IEEE, (2014)Control of Motor Drives And Gearshift for a Dual Motor-based Multi-speed Transmission. University of Technology Sydney, Australia, (2019)Scene Synthesis via Uncertainty-Driven Attribute Synchronization., , , , , , , и . ICCV, стр. 5610-5620. IEEE, (2021)A Novel Adaptive Time-Frequency Filtering Approach to Enhance the Ultrasonic Inspection of Stainless Steel Structures., , , , и . Sensors, 23 (2): 1030 (января 2023)