Haifeng Guo

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

Bibliography

2024
Graph-based multi agent reinforcement learning for on-ramp merging in mixed traffic.
Appl. Intell., April, 2024

Multi-View Graph Convolution Network Reinforcement Learning for CAVs Cooperative Control in Highway Mixed Traffic.
IEEE Trans. Intell. Veh., January, 2024

Enhanced Context Mining and Filtering for Learned Video Compression.
IEEE Trans. Multim., 2024

Hierarchical spatio-temporal graph convolutional neural networks for traffic data imputation.
Inf. Fusion, 2024

A Signal Filtering Method for Magnetic Flux Leakage Detection of Rail Surface Defects Based on Minimum Entropy Deconvolution.
Int. J. Swarm Intell. Res., 2024

Robust knowledge distillation based on feature variance against backdoored teacher model.
Appl. Soft Comput., 2024

2023
Approximate Inference of Traffic Flow State at Signalized Intersections Using a Bayesian Learning Framework.
IEEE Trans. Intell. Transp. Syst., May, 2023

Edge Computing Driven Low-Light Image Dynamic Enhancement for Object Detection.
IEEE Trans. Netw. Sci. Eng., 2023

Enhanced Motion Compensation for Deep Video Compression.
IEEE Signal Process. Lett., 2023

Prediction of Time Series Data with Low Latitude Features.
Proceedings of the Data Science, 2023

Complex Time Series Analysis Based on Conditional Random Fields.
Proceedings of the Data Science, 2023

Dimension Reduction Based on Sampling.
Proceedings of the Data Science, 2023

Approximate Query Processing Based on Approximate Materialized View.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

Schema Integration on Massive Data Sources.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

2022
A GAN-Based Short-Term Link Traffic Prediction Approach for Urban Road Networks Under a Parallel Learning Framework.
IEEE Trans. Intell. Transp. Syst., 2022

PRECOM: A Parallel Recommendation Engine for Control, Operations, and Management on Congested Urban Traffic Networks.
IEEE Trans. Intell. Transp. Syst., 2022

Efficient Reinforcement Learning for StarCraft by Abstract Forward Models and Transfer Learning.
IEEE Trans. Games, 2022

Integrated inventory and transportation management with stochastic demands: A scenario-based economic model predictive control approach.
Expert Syst. Appl., 2022

Intelligent Fault Diagnosis of Industrial Robot Based on Multiclass Mahalanobis-Taguchi System for Imbalanced Data.
Entropy, 2022

Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction.
CoRR, 2022

Robust Optimization on E-commerce Closed-loop Supply Chain with Uncertain Environment.
Proceedings of the 2022 International Conference on Computer and Information Processing Technology Virtual Event, 2022

The Impact of Policy on the Clustering of the Blockchain Industry - Evidence from GMM Estimates.
Proceedings of the Data Science, 2022

Efficient AVS3 Intra Prediction Hardware Design for Real-time Applications.
Proceedings of the 2022 IEEE International Conference on Integrated Circuits, 2022

The Role of Absorptive Capacity in the Blockchain Enabled Traceability Alignment: An Empirical Investigation.
Proceedings of the Blockchain and Trustworthy Systems - 4th International Conference, 2022

Blockchain Policy Tool Selection in CHina's Blockchain Industry Clustering Areas.
Proceedings of the Blockchain and Trustworthy Systems - 4th International Conference, 2022

2021
An End-to-End Recommendation System for Urban Traffic Controls and Management Under a Parallel Learning Framework.
IEEE Trans. Intell. Transp. Syst., 2021

Particle Filtering Based Remaining Useful Life Prediction for Electromagnetic Coil Insulation.
Sensors, 2021

The Regional Clusting Effect of the Blockchain Industry Base on Unsupervised Learning Methods.
Proceedings of the Blockchain and Trustworthy Systems - Third International Conference, 2021

A Study on Bitcoin Price Volatility Based on the SVAR Model and Impulse Response Analysis.
Proceedings of the Blockchain and Trustworthy Systems - Third International Conference, 2021

Absorptive Capacity, Blockchain and Food Traceability: An Empirical Invetigation.
Proceedings of the Blockchain and Trustworthy Systems - Third International Conference, 2021

Unmanned Aerial Vehicle Cluster Operations under the Background of Intelligentization.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020
The Prediction Analysis of Peer-to-Peer Lending Platforms Default Risk Based on Comparative Models.
Sci. Program., 2020

Degradation Monitoring of Insulation Systems Used in Low-Voltage Electromagnetic Coils under Thermal Loading Conditions from a Creep Point of View.
Sensors, 2020

Highly-linear wide-range voltage-controlled delay element with body bias technique.
Microelectron. J., 2020

Formation Control of High-Order Swarm Systems With Time-Varying Delays and Switching Interconnections.
IEEE Access, 2020

Dynamic Low-Light Image Enhancement for Object Detection via End-to-End Training.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

AVS2 Fast Intra Mode Decision Hardware Design.
Proceedings of the EITCE 2020: 4th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, 6 November, 2020, 2020

2019
Efficient Reinforcement Learning with a Mind-Game for Full-Length StarCraft II.
CoRR, 2019

Microscopic Machine Vision Based Degradation Monitoring of Low-Voltage Electromagnetic Coil Insulation Using Ensemble Learning in a Membrane Computing Framework.
IEEE Access, 2019

Link speed prediction for signalized urban traffic network using a hybrid deep learning approach.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Short-Term Traffic Flow Prediction using Attention-Based Long Short-Term Memory Network.
Proceedings of the Fourth IEEE International Conference on Data Science in Cyberspace, 2019

2018
Improving regression test efficiency with an awareness of refactoring changes.
Inf. Softw. Technol., 2018

Deep Multi-Instance Multi-Label Learning for Image Annotation.
Int. J. Pattern Recognit. Artif. Intell., 2018

Creating Self-Aware Low-Voltage Electromagnetic Coils for Incipient Insulation Degradation Monitoring for Smart Manufacturing.
IEEE Access, 2018

2017
Image tag recommendation based on friendships.
Multim. Tools Appl., 2017

A Novel Pattern Clustering Algorithm Based on Particle Swarm Optimization Joint Adaptive Wavelet Neural Network Model.
Mob. Networks Appl., 2017

2016
A semantic approach for automated test oracle generation.
Comput. Lang. Syst. Struct., 2016

A Novel Method of Fault Detection for Solenoid Valves Based on Vibration Signal Measurement.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

Debugging energy-efficiency related field failures in mobile apps.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015
A dynamic stochastic model for automatic grammar-based test generation.
Softw. Pract. Exp., 2015

Prediction of stock index futures prices based on fuzzy sets and multivariate fuzzy time series.
Neurocomputing, 2015

Semantics-based Automated Web Testing.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

A Power-Aware Virtual Machine Mapper Using Firefly Optimization.
Proceedings of the Third International Conference on Advanced Cloud and Big Data, 2015

2014
Model-based test generation using extended symbolic grammars.
Int. J. Softw. Tools Technol. Transf., 2014

Fault detection of discrete-time T-S fuzzy affine systems based on piecewise Lyapunov functions.
J. Frankl. Inst., 2014

Locating fault-inducing patterns from structural inputs.
Proceedings of the Symposium on Applied Computing, 2014

Automated Test Oracle Generation via Denotational Semantics.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Dynamic division of traffic control sub-area methods based on the similarity of adjacent intersections.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Design of 2MW/10kV cascaded power conversion system.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

2013
Automatic Grammar-Based Test Generation.
Proceedings of the Testing Software and Systems, 2013

2012
H∞ control of a class of discrete-time Markov jump linear systems with piecewise-constant TPs subject to average dwell time switching.
J. Frankl. Inst., 2012

Model-Based Test Generation Using Evolutional Symbolic Grammar.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Generating test cases via model-based simulation.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

2011
Lifecycle-based Swarm Optimization Method for Constrained Optimization.
J. Comput., 2011

An Approach to Regression Test Selection of Adaptive EFSM Tests.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Dynamic Cell Resource Reserving Handoff Control Algorithm.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

Research on Remanufacturing Reverse Logistics Network Optimization under Uncertain Recycling Number.
Proceedings of the Advances in Computer Science, 2011

2010
A theoretical framework for interaction measure and sensitivity analysis in cross-layer design.
ACM Trans. Model. Comput. Simul., 2010

2009
Dynamic reordering of alternatives for definite logic programs.
Comput. Lang. Syst. Struct., 2009

Consistency Checking for LSC Specifications.
Proceedings of the TASE 2009, 2009

L2C2: logic-based LSC consistency checking.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

A New Sliding-Mode Control Algorithm with Simulation.
Proceedings of the Fifth International Conference on Natural Computation, 2009

Bacterial foraging optimization algorithm with particle swarm optimization strategy for global numerical optimization.
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

2008
Simplifying dynamic programming via mode-directed tabling.
Softw. Pract. Exp., 2008

Logic programming with solution preferences.
J. Log. Algebraic Methods Program., 2008

A Memoized Strategy for Preference Logic Programs.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Data Mining Techniques for Complex Formation Evaluation in Petroleum Exploration and Production: A Comparison of Feature Selection and Classification Methods.
Proceedings of the PACIIA 2008, 2008

2007
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
Theory Pract. Log. Program., 2007

Precise specification matching for adaptive reuse in embedded systems.
J. Appl. Log., 2007

A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty.
Proceedings of the 16th International Conference on Computer Communications and Networks, 2007

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

Significance Measure with Nonlinear and Incommensurable Observations.
Proceedings of the Global Communications Conference, 2007

On Multi-Relational Data Mining for Foundation of Data Mining.
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distributed Comput., 2006

PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR, 2006

Relaxation on Optimization Predicates.
Proceedings of the Logic Programming, 22nd International Conference, 2006

H Control of a State Matrix Model of Closed-loop Supply Chain and its Bullwhip Effect.
Proceedings of the Ninth International Conference on Control, 2006

2005
Mode-directed preferences for logic programs.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Optimization with mode-directed preferences.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Mode-Directed Fixed Point Computation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction.
Proceedings of the A Conference on a Human Scale. 11th Americas Conference on Information Systems, 2005

The Application of Utility Computing and Web-Services to Inventory Optimisation.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
UMA: a system for universal mathematics accessibility.
ACM SIGACCESS Access. Comput., 2004

An Efficient and Flexible Engine for Computing Fixed Points
CoRR, 2004

Simplifying Dynamic Programming via Tabling.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals.
Proceedings of the Data Mining and Knowledge Management, 2004

2003
Precise Specification Matching for Automated Component Retrieval and Adaptation.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Online Justification for Tabled Logic Programs.
Proceedings of the Logic Programming, 19th International Conference, 2003

A New Mode Declaration for Tabled Predicates.
Proceedings of the Logic Programming, 19th International Conference, 2003

INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex.
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals.
Proceedings of the 12th IEEE International Conference on Fuzzy Systems, 2003

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
Semantics-Based Filtering: Logic Programming's Killer App?
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Justification Based on Program Transformation.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
Proceedings of the 2001 International Conference on Parallel Processing, 2001

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
Proceedings of the Logic Programming, 17th International Conference, 2001

Speculative Beats Conservative Justification.
Proceedings of the Logic Programming, 17th International Conference, 2001

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.
Proceedings of the Logic Programming, 17th International Conference, 2001

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001


  Loading...