research
∙
08/27/2023
Topological Augmentation for Class-Imbalanced Node Classification
Class imbalance is prevalent in real-world node classification tasks and...
share
research
∙
08/18/2023
Distributed Neurodynamics-Based Backstepping Optimal Control for Robust Constrained Consensus of Underactuated Underwater Vehicles Fleet
Robust constrained formation tracking control of underactuated underwate...
research
∙
08/18/2023
Distributed Robust Learning-Based Backstepping Control Aided with Neurodynamics for Consensus Formation Tracking of Underwater Vessels
This paper addresses distributed robust learning-based control for conse...
research
∙
08/12/2023
Calliope-Net: Automatic Generation of Graph Data Facts via Annotated Node-link Diagrams
Graph or network data are widely studied in both data mining and visuali...
research
∙
07/18/2023
You've Got Two Teachers: Co-evolutionary Image and Report Distillation for Semi-supervised Anatomical Abnormality Detection in Chest X-ray
Chest X-ray (CXR) anatomical abnormality detection aims at localizing an...
research
∙
06/23/2023
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
We study a class of reinforcement learning (RL) tasks where the objectiv...
research
∙
06/16/2023
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
This paper addresses the problem of data-driven model discrimination for...
research
∙
05/27/2023
Reinforcement Learning With Reward Machines in Stochastic Games
We investigate multi-agent reinforcement learning for stochastic games w...
research
∙
05/03/2023
Distributed Leader Follower Formation Control of Mobile Robots based on Bioinspired Neural Dynamics and Adaptive Sliding Innovation Filter
This paper investigated the distributed leader follower formation contro...
research
∙
12/12/2022
CTT-Net: A Multi-view Cross-token Transformer for Cataract Postoperative Visual Acuity Prediction
Surgery is the only viable treatment for cataract patients with visual a...
research
∙
12/02/2022
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Learning linear temporal logic (LTL) formulas from examples labeled as p...
research
∙
11/26/2022
Human-machine Interactive Tissue Prototype Learning for Label-efficient Histopathology Image Segmentation
Recently, deep neural networks have greatly advanced histopathology imag...
research
∙
09/06/2022
Learning Interpretable Temporal Properties from Positive Examples Only
We consider the problem of explaining the temporal behavior of black-box...
research
∙
09/03/2022
A Hybrid Tracking Control Strategy for an Unmanned Underwater Vehicle Aided with Bioinspired Neural Dynamics
Tracking control has been a vital research topic in robotics. This paper...
research
∙
07/15/2022
Towards Better Dermoscopic Image Feature Representation Learning for Melanoma Classification
Deep learning-based melanoma classification with dermoscopic images has ...
research
∙
07/07/2022
Deformer: Towards Displacement Field Learning for Unsupervised Medical Image Registration
Recently, deep-learning-based approaches have been widely studied for de...
research
∙
06/17/2022
Bio-inspired Intelligence with Applications to Robotics: A Survey
In the past decades, considerable attention has been paid to bio-inspire...
research
∙
06/16/2022
Consensus Formation Tracking for Multiple AUV Systems Using Distributed Bioinspired Sliding Mode Control
Consensus formation tracking of multiple autonomous underwater vehicles ...
research
∙
06/15/2022
Seeking Common Ground While Reserving Differences: Multiple Anatomy Collaborative Framework for Undersampled MRI Reconstruction
Recently, deep neural networks have greatly advanced undersampled Magnet...
research
∙
05/06/2022
Learning Optimal Propagation for Graph Neural Networks
Graph Neural Networks (GNNs) have achieved tremendous success in a varie...
research
∙
04/27/2022
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing
We study the problem of autonomous racing amongst teams composed of coop...
research
∙
02/25/2022
Hierarchical Control for Multi-Agent Autonomous Racing
We develop a hierarchical controller for multi-agent autonomous racing. ...
research
∙
12/08/2021
Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning
To date few studies have comprehensively compared medical image registra...
research
∙
10/11/2021
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
We develop a learning-based algorithm for the distributed formation cont...
research
∙
10/06/2021
Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning
Deep learning-based Multi-Task Classification (MTC) is widely used in ap...
research
∙
09/30/2021
Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines
In multi-agent reinforcement learning (MARL), it is challenging for a co...
research
∙
09/28/2021
All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
Semi-supervised learning has substantially advanced medical image segmen...
research
∙
09/16/2021
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Extracting spatial-temporal knowledge from data is useful in many applic...
research
∙
07/06/2021
Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
In order to tackle the difficulty associated with the ill-posed nature o...
research
∙
06/29/2021
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
We develop a probabilistic control algorithm, , for swarms of agents wit...
research
∙
06/25/2021
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
We develop a learning-based algorithm for the control of robotic systems...
research
∙
06/08/2021
A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Recent works on ride-sharing order dispatching have highlighted the impo...
research
∙
06/03/2021
Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Manually segmenting the hepatic vessels from Computer Tomography (CT) is...
research
∙
05/24/2021
Uncertainty-Aware Signal Temporal Logic Inference
Temporal logic inference is the process of extracting formal description...
research
∙
05/19/2021
Graph Sanitation with Application to Node Classification
The past decades have witnessed the prosperity of graph mining, with a m...
research
∙
04/30/2021
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
We address the problem of inferring descriptions of system behavior usin...
research
∙
03/26/2021
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
In this paper, we present a provably correct controller synthesis approa...
research
∙
03/26/2021
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Pandemics can bring a range of devastating consequences to public health...
research
∙
11/12/2020
Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Multimodal image registration (MIR) is a fundamental procedure in many i...
research
∙
11/12/2020
Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
The loss function of an unsupervised multimodal image registration frame...
research
∙
09/15/2020
F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Multimodal deformable image registration is essential for many image-gui...
research
∙
09/06/2020
Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Nowadays, autonomous taxis become a highly promising transportation mode...
research
∙
07/06/2020
Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Deformable image registration between Computed Tomography (CT) images an...
research
∙
06/25/2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications
We study the distributed synthesis of policies for multi-agent systems t...
research
∙
05/14/2020
Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
We present a novel network pruning algorithm called Dynamic Sparse Train...
research
∙
03/20/2020
Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
With the increasing availability of new image registration approaches, a...
research
∙
01/27/2020
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Machine teaching is an algorithmic framework for teaching a target hypot...
research
∙
01/24/2020
Active Task-Inference-Guided Deep Inverse Reinforcement Learning
In inverse reinforcement learning (IRL), given a Markov decision process...
research
∙
01/24/2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
We study the synthesis of policies for multi-agent systems to implement ...
research
∙
11/26/2019