research
∙
09/14/2023
Influence Robustness of Nodes in Multiplex Networks against Attacks
Recent advances have focused mainly on the resilience of the monoplex ne...
share
research
∙
02/28/2023
Focus On Details: Online Multi-object Tracking with Diverse Fine-grained Representation
Discriminative representation is essential to keep a unique identifier f...
research
∙
12/03/2022
Efficiency Boosting of Secure Cross-platform Recommender Systems over Sparse Data
Fueled by its successful commercialization, the recommender system (RS) ...
research
∙
05/11/2022
Spatial-temporal associations representation and application for process monitoring using graph convolution neural network
Industrial process data reflects the dynamic changes of operation condit...
research
∙
05/09/2022
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems
We present a safety verification framework for design-time and run-time ...
research
∙
03/29/2022
DesCert: Design for Certification
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) ...
research
∙
02/22/2022
A Framework for Multi-stage Bonus Allocation in meal delivery Platform
Online meal delivery is undergoing explosive growth, as this service is ...
research
∙
02/09/2022
MMLN: Leveraging Domain Knowledge for Multimodal Diagnosis
Recent studies show that deep learning models achieve good performance o...
research
∙
11/24/2021
ACNet: Approaching-and-Centralizing Network for Zero-Shot Sketch-Based Image Retrieval
The huge domain gap between sketches and photos and the highly abstract ...
research
∙
02/28/2021
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification
The paper presents our research on quantifier elimination (QE) for compo...
research
∙
09/18/2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
Advances in the field of Machine Learning and Deep Neural Networks (DNNs...
research
∙
01/29/2019
Evaluating Generalization Ability of Convolutional Neural Networks and Capsule Networks for Image Classification via Top-2 Classification
Image classification is a challenging problem which aims to identify the...
research
∙
10/22/2018