Haiming Wang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Haiming Wang 001 (National Center of Technology Innovation for EDA, Research and Development Department, Nanjing, China)
- Haiming Wang 002 (Lenovo Research, Beijing, China)
- Haiming Wang 003 (Yantai Institute of Technology, School of Architecture and Engineering, China)
Bibliography
2024
Trans. Mach. Learn. Res., 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.
CoRR, 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
2023
Ensemble-transfer-learning-based channel parameter prediction in asymmetric massive MIMO systems.
Frontiers Inf. Technol. Electron. Eng., February, 2023
Proceedings of the 32nd USENIX Security Symposium, 2023
Long Short-Term Memory Fully Convolutional Network-Based Passing-Object Detection and Its Application to WLAN Sensing.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023
Image Structural Similarity-Based Channel Similarity Analysis across Multiple Frequency Bands in the Office Campus Environment.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023
Proceedings of the IEEE International Conference on Communications, 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023
2022
Nucleic Acids Res., 2022
Motion planning in complex urban environments: An industrial application on autonomous last-mile delivery vehicles.
J. Field Robotics, 2022
CoRR, 2022
Machine-Learning-Assisted Scenario Classification Using Large-Scale Fading Characteristics and Geographic Information.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2022
2021
Frontiers Inf. Technol. Electron. Eng., 2021
Fault Recognition of Rolling Bearings Based on Parameter Optimized Multi-Scale Permutation Entropy and Gath-Geva.
Entropy, 2021
Proceedings of the Web Information Systems Engineering - WISE 2021, 2021
Proceedings of the Database Systems for Advanced Applications. DASFAA 2021 International Workshops, 2021
2019
Proceedings of the Communications, Signal Processing, and Systems, 2019
2017
An Operational Planning Framework for Large-Scale Thermostatically Controlled Load Dispatch.
IEEE Trans. Ind. Informatics, 2017
Nucleic Acids Res., 2017
6-100 GHz research progress and challenges from a channel perspective for fifth generation (5G) and future wireless communication.
Sci. China Inf. Sci., 2017
Hybrid recommendation model based on incremental collaborative filtering and content-based algorithms.
Proceedings of the 21st IEEE International Conference on Computer Supported Cooperative Work in Design, 2017
2015
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015
2014
B-Spline-Decomposition-Based Approach to Multiaxis Trajectory Tracking: Nanomanipulation Example.
IEEE Trans. Control. Syst. Technol., 2014
Proceedings of the 2014 IEEE World Congress on Services, 2014
2013
<i>B</i>B-spline-decomposition-based output tracking with preview for nonminimum-phase linear systems.
Autom., 2013
Proceedings of the IEEE Ninth World Congress on Services, 2013
Proceedings of the Advances in Neural Networks - ISNN 2013, 2013
Proceedings of the Intelligent Computing Theories - 9th International Conference, 2013
B-spline-decomposition-based approach to multi-axis trajectory tracking: Nanomanipulation example.
Proceedings of the American Control Conference, 2013
2012
New Construction Method and Low-Complexity Correlator for Binary Periodic Complementary Sequence Sets and Its Application to MIMO Channel Estimation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012
A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3D nanopositioning example.
Autom., 2012
Inversion-based optimal output tracking-transition switching with preview for nonminimum-phase linear systems.
Autom., 2012
Effective Interference Cancellation Mechanisms for D2D Communication in Multi-Cell Cellular Networks.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012
Transmission mode selection and communication establishment in the hybrid device-to-device and cellular networks.
Proceedings of the Fourth International Conference on Ubiquitous and Future Networks, 2012
Output tracking with preview for nonminimum-phase linear systems based on B-splines decomposition.
Proceedings of the American Control Conference, 2012
2011
AmoebaDB and MicrosporidiaDB: functional genomic resources for Amoebozoa and Microsporidia species.
Nucleic Acids Res., 2011
Full Uplink Performance Evaluation of FDD/TDD LTE-Advanced Networks with Type-1 Relays.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011
UL Performance of Type-1 Relay Enhanced FDD LTE-A Networks with Unaligned Backhaul Subframes.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011
2010
Nucleic Acids Res., 2010
A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3-d nanopositioning example.
Proceedings of the American Control Conference, 2010
Optimal output trajectory design and tracking in preview-based nonperiodic tracking-transition switching for nonminimum-phase linear systems.
Proceedings of the American Control Conference, 2010
2009
Nucleic Acids Res., 2009
GiardiaDB and TrichDB: integrated genomic resources for the eukaryotic protist pathogens <i>Giardia lamblia</i> and <i>Trichomonas vaginalis</i>.
Nucleic Acids Res., 2009
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009
Double Thresholds Based Cooperative Spectrum Sensing Against Untrusted Secondary Users in Cognitive Radio Networks.
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009
Eigenvalues based spectrum sensing against untrusted users in cognitive radio networks.
Proceedings of the 4th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2009
Proceedings of the American Control Conference, 2009
2008
Nucleic Acids Res., 2008
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008
A Novel Bidirectional Resource Allocation to Decrease Signaling for Retransmission in LTE System.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008
Decision Support in Cancer Base on Fuzzy Adaptive PSO for Feedforward Neural Network Training.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008
2007
Nucleic Acids Res., 2007
2006
Nucleic Acids Res., 2006
MAGIC-SPP: a database-driven DNA sequence processing package with associated management tools.
BMC Bioinform., 2006
Bioinform., 2006
Performance Analysis for Papr Reduction by Stochastic HNN with Soft Decision Feedback.
Proceedings of the IEEE 17th International Symposium on Personal, 2006
Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006
2003
Int. J. Circuit Theory Appl., 2003