research
∙
08/09/2023
Analyzing and controlling diversity in quantum-behaved particle swarm optimization
This paper addresses the issues of controlling and analyzing the populat...
share
research
∙
08/08/2023
How Generalizable are Deepfake Detectors? An Empirical Study
Deepfake videos and images are becoming increasingly credible, posing a ...
research
∙
07/21/2023
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework
Machine learning is widely used to make decisions with societal impact s...
research
∙
07/05/2023
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
Fuzzing has emerged as a powerful technique for finding security bugs in...
research
∙
06/12/2023
Semantic-Based Neural Network Repair
Recently, neural networks have spread into numerous fields including man...
research
∙
06/11/2023
MLE-based Device Activity Detection under Rician Fading for Massive Grant-free Access with Perfect and Imperfect Synchronization
Most existing studies on massive grant-free access, proposed to support ...
research
∙
06/09/2023
How Sparse Can We Prune A Deep Network: A Geometric Viewpoint
Overparameterization constitutes one of the most significant hallmarks o...
research
∙
02/15/2023
SynGraphy: Succinct Summarisation of Large Networks via Small Synthetic Representative Graphs
We describe SynGraphy, a method for visually summarising the structure o...
research
∙
02/08/2023
Finding Causally Different Tests for an Industrial Control System
Industrial control systems (ICSs) are types of cyber-physical systems in...
research
∙
12/10/2022
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Deep learning has become a promising programming paradigm in software de...
research
∙
12/06/2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
While deep neural networks (DNNs) have demonstrated impressive performan...
research
∙
09/30/2022
Point Cloud Quality Assessment using 3D Saliency Maps
Point cloud quality assessment (PCQA) has become an appealing research f...
research
∙
09/19/2022
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Heap-manipulating programs are known to be challenging to reason about. ...
research
∙
09/15/2022
Adaptive Fairness Improvement Based on Causality Analysis
Given a discriminating neural network, the problem of fairness improveme...
research
∙
08/31/2022
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Autonomous driving systems (ADSs) must be tested thoroughly before they ...
research
∙
08/24/2022
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination
Discrimination has been shown in many machine learning applications, whi...
research
∙
08/05/2022
Global Pointer: Novel Efficient Span-based Approach for Named Entity Recognition
Named entity recognition (NER) task aims at identifying entities from a ...
research
∙
08/04/2022
H2-Stereo: High-Speed, High-Resolution Stereoscopic Video System
High-speed, high-resolution stereoscopic (H2-Stereo) video allows us to ...
research
∙
07/22/2022
CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing
Previous studies have demonstrated that code intelligence models are sen...
research
∙
06/11/2022
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Information leakage can have dramatic consequences on systems security. ...
research
∙
05/14/2022
Verifying Neural Networks Against Backdoor Attacks
Neural networks have achieved state-of-the-art performance in solving ma...
research
∙
04/20/2022
Causality-based Neural Network Repair
Neural networks have had discernible achievements in a wide range of app...
research
∙
02/20/2022
ExAIS: Executable AI Semantics
Neural networks can be regarded as a new programming paradigm, i.e., ins...
research
∙
02/08/2022
K-ST: A Formal Executable Semantics of PLC Structured Text Language
Programmable Logic Controllers (PLCs) are responsible for automating pro...
research
∙
12/29/2021
Res2NetFuse: A Fusion Method for Infrared and Visible Images
This paper presents a novel Res2Net-based fusion framework for infrared ...
research
∙
12/29/2021
Repairing Adversarial Texts through Perturbation
It is known that neural networks are subject to attacks through adversar...
research
∙
12/14/2021
Better Pay Attention Whilst Fuzzing
Fuzzing is one of the prevailing methods for vulnerability detection. Ho...
research
∙
12/06/2021
No-Reference Point Cloud Quality Assessment via Domain Adaptation
We present a novel no-reference quality assessment metric, the image tra...
research
∙
11/24/2021
Machine Learning Guided Cross-Contract Fuzzing
Smart contract transactions are increasingly interleaved by cross-contra...
research
∙
11/17/2021
Fairness Testing of Deep Image Classification with Adequacy Metrics
As deep image classification applications, e.g., face recognition, becom...
research
∙
08/10/2021
Enhancing Knowledge Tracing via Adversarial Training
We study the problem of knowledge tracing (KT) where the goal is to trac...
research
∙
07/22/2021
Joint Optimization of Preamble Selection and Access Barring for Random Access in MTC with General Device Activities
Most existing random access schemes for MTC simply adopt a uniform pream...
research
∙
07/18/2021
Probabilistic Verification of Neural Networks Against Group Fairness
Fairness is crucial for neural networks which are used in applications w...
research
∙
07/17/2021
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
Although deep learning has demonstrated astonishing performance in many ...
research
∙
07/04/2021
A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries
Code summarization is the task of generating natural language descriptio...
research
∙
06/15/2021
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Cyber-physical systems (CPSs) are widespread in critical domains, and si...
research
∙
05/22/2021
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
The threats faced by cyber-physical systems (CPSs) in critical infrastru...
research
∙
03/18/2021
Which to Match? Selecting Consistent GT-Proposal Assignment for Pedestrian Detection
Accurate pedestrian classification and localization have received consid...
research
∙
03/13/2021
Attack as Defense: Characterizing Adversarial Examples using Robustness
As a new programming paradigm, deep learning has expanded its applicatio...
research
∙
03/04/2021
Point Cloud Distortion Quantification based on Potential Energy for Human and Machine Perception
Distortion quantification of point clouds plays a stealth, yet vital rol...
research
∙
02/22/2021
CSTR: A Classification Perspective on Scene Text Recognition
The prevalent perspectives of scene text recognition are from sequence t...
research
∙
02/11/2021
RobOT: Robustness-Oriented Testing for Deep Learning Systems
Recently, there has been a significant growth of interest in applying so...
research
∙
01/06/2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Smart contracts are distributed, self-enforcing programs executing on to...
research
∙
12/30/2020
An Efficient QP Variable Convolutional Neural Network Based In-loop Filter for Intra Coding
In this paper, a novel QP variable convolutional neural network based in...
research
∙
12/20/2020
Where, What, Whether: Multi-modal Learning Meets Pedestrian Detection
Pedestrian detection benefits greatly from deep convolutional neural net...
research
∙
12/03/2020
Towards Repairing Neural Networks Correctly
Neural networks are increasingly applied to support decision making in s...
research
∙
10/15/2020
Improving Neural Network Verification through Spurious Region Guided Refinement
We propose a spurious region guided refinement approach for robustness v...
research
∙
10/15/2020
Holistic Combination of Structural and Textual Code Information for Context based API Recommendation
Context based API recommendation is an important way to help developers ...
research
∙
07/22/2020
SOCRATES: Towards a Unified Platform for Neural Network Verification
Studies show that neural networks, not unlike traditional programs, are ...
research
∙
06/18/2020