Haihe Shi

14 papers Misc 2Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
MDS-YOLO: Small Target Detection Algorithm in UAV Aerial Images Based on Multi-scale Feature Fusion.
PRCV (18)
Haihe Shi, Shenglin Chen, Wen Xu, Peng Fan, Zuchang Yu, Yanwen Qu
2025 — conf
Missing Data Imputation Method for Phylogenetic Trees Based on Singular Value Decomposition and Denoising Autoencoder.
BIBM
Haihe Shi, Zihan Zeng, Sheng Li
2023 J jnl
A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform.
Big Data Min. Anal.
Haipeng Shi, Huan Chen, Qinghong Yang, Jun Wang, Haihe Shi
2020 — conf
Algorithm Design Through the Optimization of Reuse-Based Generation.
NCTCS
Haipeng Shi, Haihe Shi, Shenghua Xu
2019 J jnl
高通量测序中序列拼接算法的研究进展 (Survey on Sequence Assembly Algorithms in High-throughput Sequencing).
计算机科学
Weixing Zhou, Haihe Shi
2014 J jnl
Emergency railway wagon scheduling by hybrid biogeography-based optimization.
Comput. Oper. Res.
Yu-Jun Zheng, Hai-Feng Ling, Haihe Shi, Hai-Song Chen, Sheng-Yong Chen
2011 Misc conf
A Generative Approach to Searching Algorithmic Programs Development.
TASE
Haihe Shi, Jinyun Xue
2011 — conf
Formal Derivation of Two Algorithms Involving Sequences.
ACIS-ICIS
Haihe Shi, Jinyun Xue
2010 — conf
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.
ICWL Workshops
Yujun Zheng, Haihe Shi, Jinyun Xue
2010 — conf
Generating Provably Correct Algorithmic Programs from Formal Specifications.
QSIC
Haihe Shi, Jinyun Xue
2008 — conf
A Mechanical Approach for Deriving Algorithmic Programs.
ACIS-ICIS
Haihe Shi, Jinyun Xue, Dawei Du
2008 — conf
Generating Algorithms plus Loop Invariants by Formal Derivation.
ACIS-ICIS
Haihe Shi, Dawei Du, Jinyun Xue
2007 Misc conf
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum.
International Conference on Computational Science (3)
Yujun Zheng, Haihe Shi, Jinyun Xue
2007 — conf
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.
SNPD (3)
Haihe Shi, Jinyun Xue