Wen Su

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

Bibliography

2025
Optimal Transport Learning: Balancing Value Optimization and Fairness in Individualized Treatment Rules.
CoRR, July, 2025

CDMANet: central difference mutual attention network for RGB-D semantic segmentation.
J. Supercomput., January, 2025

COS-former: hierarchical fusion transformer for camouflaged object segmentation.
J. Electronic Imaging, 2025

Audio-Based Neural Network to Classify Patients With Early Parkinson's Disease.
IEEE Access, 2025

2024
ICTH: Local-to-Global Spectral Reconstruction Network for Heterosource Hyperspectral Images.
Remote. Sens., September, 2024

Personalized Intelligent Recommendation Model Construction Based on Online Learning Behavior Features and CNN.
Inf. Technol. Control., 2024

Auxiliary Diagnosis for Parkinson's Disease Using Multimodal Feature Analysis.
Int. J. Softw. Informatics, 2024

Overview of AI-Debater 2023: The Challenges of Argument Generation Tasks.
CoRR, 2024

2022
Crowd counting with crowd attention convolutional neural network.
CoRR, 2022

Optimization Models and Interpretations for Three Types of Adversarial Perturbations against Support Vector Machines.
CoRR, 2022

Long-Term Traffic Speed Prediction Based on Geometric Algebra ConvLSTM and Graph Attention.
Proceedings of the IEEE International Conference on Smart Internet of Things, 2022

An Efficient Method for Sample Adversarial Perturbations against Nonlinear Support Vector Machines.
Proceedings of the 5th International Conference on Data Science and Information Technology, 2022

Movie Recommendation System based on DeepFM.
Proceedings of the CAIBDA 2022, 2022

2019
Estimating the Gerber-Shiu function in a Lévy risk model by Laguerre series expansion.
J. Comput. Appl. Math., 2019

MCNE: An End-to-End Framework for Learning Multiple Conditional Network Representations of Social Network.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

2018
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

A United Approach to Learning Sparse Attributed Network Embedding.
Proceedings of the IEEE International Conference on Data Mining, 2018

Cyberphysical Systems: A Behind-the-Scenes Foundational View.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Reducing energy consumption in serial production lines with Bernoulli reliability machines.
Int. J. Prod. Res., 2017

2016
A Node Localization Algorithm Based on Multi-Granularity Regional Division and the Lagrange Multiplier Method in Wireless Sensor Networks.
Sensors, 2016

Depth Supporting Semantic Segmentation via Deep Neural Markov Random Field.
Proceedings of the Pattern Recognition - 7th Chinese Conference, 2016

An energy and productivity optimization model in Bernoulli serial lines.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Adding laziness in BnB-ADOPT+.
Constraints An Int. J., 2015

Formal Development of a Real-Time Operating System Memory Manager.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Color Image Segmentation Combining Rough Depth Information.
Proceedings of the Computer Vision - CCF Chinese Conference, 2015

2014
A Continuous ASM Modelling Approach to Pacemaker Sensing.
ACM Trans. Softw. Eng. Methodol., 2014

Formalizing hybrid systems with Event-B and the Rodin Platform.
Sci. Comput. Program., 2014

ASM, controller synthesis, and complete refinement.
Sci. Comput. Program., 2014

A Location Estimation Algorithm Based on RSSI Vector Similarity Degree.
Int. J. Distributed Sens. Networks, 2014

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.
Formal Aspects Comput., 2014

Optimizing Memory Access with Fast Address Computation on a MIPS Architecture.
Proceedings of the 9th IEEE International Conference on Networking, 2014

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013
The loophole of the improved secure quantum sealed-bid auction with post-confirmation and solution.
Quantum Inf. Process., 2013

An Optimized Solution for Cross-Domain System Bus Transaction Processing.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012
Cache Locking for Network Processing Acceleration.
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Complementary Methodologies for Developing Hybrid Systems with Event-B.
Proceedings of the Formal Methods and Software Engineering, 2012

Using Direct Cache Access Combined with Integrated NIC Architecture to Accelerate Network Processing.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Address-Locking Cache: A Flexible on Chip Memory Implementation for Embedded System.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

A New Model on the School-Enterprise Cooperation Curriculum Construction.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Continuous Behaviour in Event-B: A Sketch.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Continuous ASM, and a Pacemaker Sensing Fragment.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

ASM and Controller Synthesis.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Formalizing Hybrid Systems with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

A Context-aware Modeling Framework for Pervasive Applications.
Proceedings of the 2012 International Conference on Cloud and Service Computing, 2012

2011
Formalising the Continuous/Discrete Modeling Step
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

A Processor-DMA-Based Memory Copy Hardware Accelerator.
Proceedings of the Sixth International Conference on Networking, Architecture, and Storage, 2011

From Requirements to Development: Methodology and Example.
Proceedings of the Formal Methods and Software Engineering, 2011

Formal Approaches to Mode Conversion and Positioning for Vehicle System.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Exploring the Extent and Impediments of Knowledge Sharing in Chinese Business Enterprise.
Int. J. Knowl. Manag., 2010

A multilingual metadata catalog for the ILTER: Issues and approaches.
Ecol. Informatics, 2010

Formalizing MapReduce with CSP.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Modeling MapReduce with CSP.
Proceedings of the TASE 2009, 2009


  Loading...