Xiaofeng Zhou

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking.
CoRR, April, 2026

AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking.
CoRR, March, 2026

LLM Agent-driven Automated DFA Assessment with Fine-tuning and AAS-based RAG.
Robotics Comput. Integr. Manuf., 2026

Multi-feature fusion attention network for Chinese named entity recognition in Bucket Wheel Stacker-Reclaimer maintenance fault records.
Eng. Appl. Artif. Intell., 2026

Model updating approach for digital twin-driven industrial equipment monitoring.
Adv. Eng. Informatics, 2026

Reservoir Storage Retrieval From Multi-Source Satellite Remote Sensing and Artificial Intelligence: A Comprehensive Review.
IEEE Access, 2026

EvolveGen : Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

FPPS: An FPGA-Based Point Cloud Processing System.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs.
Proceedings of the 34th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2026

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping.
Proceedings of the Design, Automation & Test in Europe Conference, 2026

Beyond Single Transactions: D-EMAML - Dual-Edge Motif Neural Networks for Enhanced Anti-Money Laundering Detection.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
Deep learning-driven modality imputation and subregion segmentation to enhance high-grade glioma grading.
BMC Medical Informatics Decis. Mak., December, 2025

A novel bifold-attention-LSTM for analyzing PM2.5 concentration-based multi-station data time series.
Int. J. Data Sci. Anal., October, 2025

Time Series Forecasting with LSTM: an extensive content analysis.
Knowl. Eng. Data Sci., 2025

Feature selection method based on wavelet similarity combined with maximum information coefficient.
Inf. Sci., 2025

STLLM-GAN: Spatio-temporal LLM Generative Adversarial Network for PM2.5 prediction.
Expert Syst. Appl., 2025

Invited Paper: CURE-Fuzz: Curiosity-Driven Reinforcement Learning for Agile Hardware Testing.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

AutoClock: Automated Clock Management for Power-Efficient HLS Designs on FPGAs.
Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

2024
FADO: Floorplan-Aware Directive Optimization Based on Synthesis and Analytical Models for High-Level Synthesis Designs on Multi-Die FPGAs.
ACM Trans. Reconfigurable Technol. Syst., September, 2024

FF-HPINet: A Flipped Feature and Hierarchical Position Information Extraction Network for Lane Detection.
Sensors, June, 2024

AISM: An Adaptable Image Steganography Model With User Customization.
IEEE Trans. Serv. Comput., 2024

Exploring LSTM-based Attention Mechanisms with PSO and Grid Search under Different Normalization Techniques for Energy demands Time Series Forecasting.
Knowl. Eng. Data Sci., 2024

Abnormal Vibration Fault Diagnosis of Reducer Based on Bayesian Network.
Proceedings of the Advances in Neural Networks - ISNN 2024, 2024

CodeFuse: Multimodal Code Search Model with Fine-Grained Attention Alignment.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023
Dynamic multi-period sustainable water resources optimal allocation strategies: A case study of China.
Comput. Ind. Eng., December, 2023

A high-performance fully adaptive routing based on software defined network-on-chip.
Microelectron. J., November, 2023

Feature selection using a sinusoidal sequence combined with mutual information.
Eng. Appl. Artif. Intell., November, 2023

CSCIM_FS: Cosine similarity coefficient and information measurement criterion-based feature selection method for high-dimensional data.
Neurocomputing, October, 2023

Design and Evaluation of a Miniaturized Non-Resonant Photoacoustic CO2 Gas Sensor with Integrated Electronics.
Proceedings of the 2023 IEEE SENSORS, Vienna, Austria, October 29 - Nov. 1, 2023, 2023

A Digital Twin Monitoring System for Belt Conveyor.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
Collaborative representation-based fuzzy discriminant analysis for Face recognition.
Vis. Comput., 2022

Cooperative vehicle localization method based on coprime polarized MIMO systems for internet-of-vehicles.
Phys. Commun., 2022

A Non-convex Optimization Model for Signal Recovery.
Neural Process. Lett., 2022

A Lightweight Pedestrian Intrusion Detection and Warning Method for Intelligent Traffic Security.
KSII Trans. Internet Inf. Syst., 2022

Efficient polar coding scheme and implementation with shared information bits.
Sci. China Inf. Sci., 2022

An Automatic Pavement Crack Detection System with FocusCrack Dataset.
Proceedings of the 96th Vehicular Technology Conference, 2022

2021
A 1596GB/s 48Gb Embedded DRAM 384-Core SoC with Hybrid Bonding Integration.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2021

2020
Human action recognition based on action relevance weighted encoding.
Signal Process. Image Commun., 2020

Temperature Prediction of Heating Furnace Based on Deep Transfer Learning.
Sensors, 2020

Electromagnetic Environment of Transmission Line Based on Full Parameter Online Estimation.
J. Inf. Process. Syst., 2020

2019
Uncertainty Analysis of Dynamic Thermal Rating of Overhead Transmission Line.
J. Inf. Process. Syst., 2019

Dynamic Thermal Rating of Overhead Transmission Lines Based on GRAPES Numerical Weather Forecast.
J. Inf. Process. Syst., 2019

A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level.
Int. J. Softw. Eng. Knowl. Eng., 2019

Polar Codes with Memory.
CoRR, 2019

Analysis of the Health Information Needs of Diabetics in China.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

The Dr-KGQA System for Automatically Answering Medication Related Questions in Chinese.
Proceedings of the 2019 IEEE International Conference on Healthcare Informatics, 2019

The Container Scheduling Method Based on the Min-Min in Edge Computing.
Proceedings of the 4th International Conference on Big Data and Computing, 2019

PANLP at MEDIQA 2019: Pre-trained Language Models, Transfer Learning and Knowledge Distillation.
Proceedings of the 18th BioNLP Workshop and Shared Task, 2019

2018
A Data-Gathering Scheme with Joint Routing and Compressive Sensing Based on Modified Diffusion Wavelets in Wireless Sensor Networks.
Sensors, 2018

Nuclear norm regularized convolutional Max Pos@Top machine.
Neural Comput. Appl., 2018

A Bayesian Compressive Data Gathering Scheme in Wireless Sensor Networks With One Mobile Sink.
IEEE Access, 2018

An Adjustable Hybrid SC-BP Polar Decoder.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017
A dynamic task mapping algorithm for SDNoC.
Microelectron. J., 2017

A Fault-Tolerant Deflection Routing for Network-on-Chip.
J. Circuits Syst. Comput., 2017

Unsupervised classification of PolSAR data based on a novel polarization feature.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Joint Detection and Decoding for Polar Coded MIMO Systems.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

2016
基于扩展Petri网模型的BPMN形式化 (BPMN Formalization Based on Extended Petri Nets Model).
计算机科学, 2016

Computer-assisted expert case definition in electronic health records.
Int. J. Medical Informatics, 2016

An Improved Classification Algorithm Based on Exposure Pattern.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

2015
A fully and discriminatorily informed particle swarm optimization with different sharing strategies for superior and inferior information.
J. Intell. Fuzzy Syst., 2015

A Routing Aggregation for Load Balancing Network-on-Chip.
J. Circuits Syst. Comput., 2015

A complete approach for CIM modelling and model formalising.
Inf. Softw. Technol., 2015

A Penalized Likelihood Approach to Parameter Estimation with Integral Reliability Constraints.
Entropy, 2015

2014
An intelligent fault diagnosis system for newly assembled transmission.
Expert Syst. Appl., 2014

2012
Accelerating Queries over Microblog Dataset via Grouping and Indexing Techniques.
Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

2011
Modeling term proximity for probabilistic information retrieval models.
Inf. Sci., 2011

Enhancing ad-hoc relevance weighting using probability density estimation.
Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011

2010
A survival modeling approach to biomedical search result diversification using wikipedia.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

2008
A Volunteer Computing in High Performance Environment Based on Availability Model.
Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

An Approach of Tailoring Binary Component.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Extended Directional Graph Based Description Approach on Web Service Composition Relationship.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
A forward-backward fragment assembling algorithm for the identification of genomic amplification and deletion breakpoints using high-density single nucleotide polymorphism (SNP) array.
BMC Bioinform., 2007

Research on Web Service Composition and Verification.
Proceedings of the Third International Conference on Semantics, 2007

2006
The Service-Oriented Data Integration Platform for Water Resources Management.
Proceedings of the Frontiers of WWW Research and Development, 2006

Application and Integration of Information Technology in Water Resources Informatization.
Proceedings of the Frontiers of WWW Research and Development, 2006

A Logic Foundation of Web Component.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

2005
Researching on Composition Framework of Web Components Based On Organization.
Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005

Robust License Plate Segmentation Method Based on Texture Features and Radon Transform.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2003
Research of Information Resources Integration and Shared in Digital Basin.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

1989
A volume sorting hidden-surface algorithm.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989


  Loading...