Search Results for author:
Found 74 papers, 14 papers with code
Dynamic Demonstration Retrieval and Cognitive Understanding for Emotional Support Conversation
Emotional Support Conversation (ESC) systems are pivotal in providing empathetic interactions, aiding users through negative emotional states by understanding and addressing their unique experiences.
Distributed Robust Learning based Formation Control of Mobile Robots based on Bioinspired Neural Dynamics
This paper addresses the challenges of distributed formation control in multiple mobile robots, introducing a novel approach that enhances real-world practicability.
Diversified and Personalized Multi-rater Medical Image Segmentation
To address it, the common practice is to gather multiple annotations from different experts, leading to the setting of multi-rater medical image segmentation.
A Survey on Recent Advances in LLM-Based Multi-turn Dialogue Systems
This survey provides a comprehensive review of research on multi-turn dialogue systems, with a particular focus on multi-turn dialogue systems based on large language models (LLMs).
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
Our method uses Large Language Models (LLM) to obtain high-level domain-specific knowledge using prompt engineering instead of providing the reinforcement learning algorithm directly with the high-level knowledge which requires an expert to encode the automaton.
Do You Guys Want to Dance: Zero-Shot Compositional Human Dance Generation with Multiple Persons
Human dance generation (HDG) aims to synthesize realistic videos from images and sequences of driving poses.
Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games
To address these challenges, we propose in this paper a Pontryagin-mode neural operator that outperforms existing state-of-the-art (SOTA) on safety performance across games with parametric state constraints.
Semi-supervised Semantic Segmentation Meets Masked Modeling:Fine-grained Locality Learning Matters in Consistency Regularization
Semi-supervised semantic segmentation aims to utilize limited labeled images and abundant unlabeled images to achieve label-efficient learning, wherein the weak-to-strong consistency regularization framework, popularized by FixMatch, is widely used as a benchmark scheme.
Invariant Graph Transformer
Based on the self-attention module, our proposed invariant graph Transformer (IGT) can achieve fine-grained, more specifically, node-level and virtual node-level intervention.
Value Approximation for Two-Player General-Sum Differential Games with State Constraints
Solving Hamilton-Jacobi-Isaacs (HJI) PDEs numerically enables equilibrial feedback control in two-player differential games, yet faces the curse of dimensionality (CoD).
Topological Augmentation for Class-Imbalanced Node Classification
Class imbalance is prevalent in real-world node classification tasks and often biases graph learning models toward majority classes.
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 consensus formation tracking of multiple underwater vessels, in which the system parameters of the marine vessels are assumed to be entirely unknown and subject to the modeling mismatch, oceanic disturbances, and noises.
Distributed Neurodynamics-Based Backstepping Optimal Control for Robust Constrained Consensus of Underactuated Underwater Vehicles Fleet
Robust constrained formation tracking control of underactuated underwater vehicles (UUVs) fleet in three-dimensional space is a challenging but practical problem.
You've Got Two Teachers: Co-evolutionary Image and Report Distillation for Semi-supervised Anatomical Abnormality Detection in Chest X-ray
Inversely, we also use the prediction of the vision detection model for abnormality-guided pseudo classification label refinement (APCLR) in the auxiliary report classification task, and propose a co-evolution strategy where the vision and report models mutually promote each other with RPDLR and APCLR performed alternatively.
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
We study a class of reinforcement learning (RL) tasks where the objective of the agent is to accomplish temporally extended goals.
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unknown specifications such that both set-membership models of the unknown dynamics and LTL formulas are guaranteed to include the ground truth model and specification/task.
Reinforcement Learning With Reward Machines in Stochastic Games
We develop an algorithm called Q-learning with reward machines for stochastic games (QRM-SG), to learn the best-response strategy at Nash equilibrium for each agent.
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 control problem for multiple differentially driven mobile robots.
CTT-Net: A Multi-view Cross-token Transformer for Cataract Postoperative Visual Acuity Prediction
Clinically, to assess the necessity of cataract surgery, accurately predicting postoperative VA before surgery by analyzing multi-view optical coherence tomography (OCT) images is crucially needed.
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior.
Human-machine Interactive Tissue Prototype Learning for Label-efficient Histopathology Image Segmentation
Then, the encoder is used to map the images into the embedding space and generate pixel-level pseudo tissue masks by querying the tissue prototype dictionary.
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications
In this paper, we propose a distributed differentially private receding horizon control (RHC) approach for multi-agent systems (MAS) with metric temporal logic (MTL) specifications.
Learning Interpretable Temporal Properties from Positive Examples Only
To learn meaningful models from positive examples only, we design algorithms that rely on conciseness and language minimality of models as regularizers.
A Hybrid Tracking Control Strategy for an Unmanned Underwater Vehicle Aided with Bioinspired Neural Dynamics
In comparative studies, the proposed combined hybrid control strategy has ensured control signals smoothness, which is critical in real world applications, especially for an unmanned underwater vehicle that needs to operate in complex underwater environments.
Non-Parametric Neuro-Adaptive Formation Control
Most existing algorithms either assume certain parametric forms for the unknown dynamic terms or resort to unnecessarily large control inputs in order to provide theoretical guarantees.
Towards Better Dermoscopic Image Feature Representation Learning for Melanoma Classification
Deep learning-based melanoma classification with dermoscopic images has recently shown great potential in automatic early-stage melanoma diagnosis.
Deformer: Towards Displacement Field Learning for Unsupervised Medical Image Registration
In this study, we propose a novel Deformer module along with a multi-scale framework for the deformable image registration task.
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games
This paper investigates two potential solutions to this problem: a hybrid method that leverages both supervised Nash equilibria and the HJI PDE, and a value-hardening method where a sequence of HJIs are solved with a gradually hardening reward.
Consensus Formation Tracking for Multiple AUV Systems Using Distributed Bioinspired Sliding Mode Control
Consensus formation tracking of multiple autonomous underwater vehicles (AUVs) subject to nonlinear and uncertain dynamics is a challenging problem in robotics.
Seeking Common Ground While Reserving Differences: Multiple Anatomy Collaborative Framework for Undersampled MRI Reconstruction
Four different implementations of anatomy-specific learners are presented and explored on the top of our framework in two MRI reconstruction networks.
Optimal Propagation for Graph Neural Networks
Graph Neural Networks (GNNs) have achieved tremendous success in a variety of real-world applications by relying on the fixed graph data as input.
Data Augmentation for Deep Graph Learning: A Survey
In this survey, we formally formulate the problem of graph data augmentation and further review the representative techniques and their applications in different deep graph learning problems.
Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning
Image registration is a fundamental medical image analysis task, and a wide variety of approaches have been proposed.
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
Most existing algorithms either assume certain parametric forms for the unknown dynamic terms or resort to unnecessarily large control inputs in order to provide theoretical guarantees.
Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning
Deep learning-based Multi-Task Classification (MTC) is widely used in applications like facial attributes and healthcare that warrant strong privacy guarantees.
Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines
Experimental results show that local information is sufficient for DGRM and agents can accomplish complex tasks with the help of RM.
Multi-agent Reinforcement Learning
reinforcement-learning
+1
Multi-Trigger-Key: Towards Multi-Task Privacy-Preserving In Deep Learning
Deep learning-based Multi-Task Classification (MTC) is widely used in applications like facial attribute and healthcare that warrant strong privacy guarantees.
All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
Observing this, we ask an unexplored but interesting question: can we exploit the unlabeled data via explicit real label supervision for semi-supervised training?
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
It is important that the obtained knowledge is human-interpretable and amenable to formal analysis.
Double-Uncertainty Guided Spatial and Temporal Consistency Regularization Weighting for Learning-based Abdominal Registration
Such convention has two limitations: (i) Besides the laborious grid search for the optimal fixed weight, the regularization strength of a specific image pair should be associated with the content of the images, thus the "one value fits all" training scheme is not ideal; (ii) Only spatially regularizing the transformation may neglect some informative clues related to the ill-posedness.
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
Specifically, we study a setting in which the agents move along the nodes of a graph, and the high-level task specifications for the swarm are expressed in a recently-proposed language called graph temporal logic (GTL).
Trust It or Not: Confidence-Guided Automatic Radiology Report Generation
Experimental results have demonstrated that the proposed method for model uncertainty characterization and estimation can produce more reliable confidence scores for radiology report generation, and the modified loss function, which takes into account the uncertainties, leads to better model performance on two public radiology report datasets.
A Deep Value-network Based Approach for Multi-Driver Order Dispatching
In this work, we propose a deep reinforcement learning based solution for order dispatching and we conduct large scale online A/B tests on DiDi's ride-dispatching platform to show that the proposed method achieves significant improvement on both total driver income and user experience related metrics.
Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Manually segmenting the hepatic vessels from Computer Tomography (CT) is far more expertise-demanding and laborious than other structures due to the low-contrast and complex morphology of vessels, resulting in the extreme lack of high-quality labeled data.
Uncertainty-Aware Signal Temporal Logic Inference
In this paper, we first investigate the uncertainties associated with trajectories of a system and represent such uncertainties in the form of interval trajectories.
Graph Sanitation with Application to Node Classification
Generally speaking, the vast majority of the existing works aim to answer the following question, that is, given a graph, what is the best way to mine it?
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Our first algorithm infers minimal LTL formulas by reducing the inference problem to a problem in maximum satisfiability and then using off-the-shelf MaxSAT solvers to find a solution.
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking
In this paper, we develop safe reinforcement-learning-based controllers for systems tasked with accomplishing complex missions that can be expressed as linear temporal logic specifications, similar to those required by search-and-rescue missions.
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
We provide simulation results in two different scenarios for robust control of the COVID-19 pandemic: one for vaccination control, and another for shield immunity control, with the model parameters estimated from data in Lombardy, Italy.
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 approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees.
Magneto-acoustic oscillations observed in a solar plage region
All findings show that the magnetic perturbations are actually magneto-acoustic oscillations on the solar surface, the photosphere, powered by p-mode oscillations.
Solar and Stellar Astrophysics
Pseudo-Loss Confidence Metric for Semi-Supervised Few-Shot Learning
Most semi-supervised few-shot learning methods select pseudo-labeled data of unlabeled set by task-specific confidence estimation.
Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
The loss function of an unsupervised multimodal image registration framework has two terms, i. e., a metric for similarity measure and regularization.
Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Multimodal image registration (MIR) is a fundamental procedure in many image-guided therapies.
F3RNet: Full-Resolution Residual Registration Network for Deformable Image Registration
In this paper, we propose a novel unsupervised registration network, namely the Full-Resolution Residual Registration Network (F3RNet), for deformable registration of severely deformed organs.
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, which helps relieve traffic congestion and avoid road accidents.
Constrained Active Classification Using Partially Observable Markov Decision Processes
The proposed framework relies on assigning a classification belief (a probability distribution) to the attributes of interest.
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively.
Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Deformable image registration between Computed Tomography (CT) images and Magnetic Resonance (MR) imaging is essential for many image-guided therapies.
Reward Machines for Cooperative Multi-Agent Reinforcement Learning
In cooperative multi-agent reinforcement learning, a collection of agents learns to interact in a shared environment to achieve a common goal.
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
We compare our algorithm with the state-of-the-art RL algorithms for non-Markovian reward functions, such as Joint Inference of Reward machines and Policies for RL (JIRP), Learning Reward Machine (LRM), and Proximal Policy Optimization (PPO2).
Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
We present a novel network pruning algorithm called Dynamic Sparse Training that can jointly find the optimal network parameters and sparse network structure in a unified optimization process with trainable pruning thresholds.
Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
In this study, we use the variogram to screen the manually annotated landmarks in two datasets used to benchmark registration in image-guided neurosurgeries.
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
In the context of teaching temporal logic formulas, an exhaustive search even for a myopic solution takes exponential time (with respect to the time span of the task).
Accurate and Compact Convolutional Neural Networks with Trained Binarization
Recently, binary convolutional neural networks are explored to help alleviate this issue by quantizing both weights and activations with only 1 single bit.
Joint Inference of Reward Machines and Policies for Reinforcement Learning
The experiments show that learning high-level knowledge in the form of reward machines can lead to fast convergence to optimal policies in RL, while standard RL methods such as q-learning and hierarchical RL methods fail to converge to optimal policies after a substantial number of training steps in many tasks.
Transfer of Temporal Logic Formulas in Reinforcement Learning
Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL).
Deep Learning-Based Least Square Forward-Backward Stochastic Differential Equation Solver for High-Dimensional Derivative Pricing
We propose a new forward-backward stochastic differential equation solver for high-dimensional derivatives pricing problems by combining deep learning solver with least square regression technique widely used in the least square Monte Carlo method for the valuation of American options.
A Robust Background Initialization Algorithm with Superpixel Motion Detection
Scene background initialization allows the recovery of a clear image without foreground objects from a video sequence, which is generally the first step in many computer vision and video processing applications.
Efficient Collaborative Multi-Agent Deep Reinforcement Learning for Large-Scale Fleet Management
Large-scale online ride-sharing platforms have substantially transformed our lives by reallocating transportation resources to alleviate traffic congestion and promote transportation efficiency.
Query-free Clothing Retrieval via Implicit Relevance Feedback
We model this problem as a new type of image retrieval task in which the target image resides only in the user's mind (called "mental image retrieval" hereafter).
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis
CensusSTL consists of an "inner logic" STL formula and an "outer logic" STL formula.
Part-Stacked CNN for Fine-Grained Visual Categorization
In the context of fine-grained visual categorization, the ability to interpret models as human-understandable visual manuals is sometimes as important as achieving high classification accuracy.
Ranked #62 on
Fine-Grained Image Classification
on CUB-200-2011
Augmenting Strong Supervision Using Web Data for Fine-Grained Categorization
We propose a new method for fine-grained object recognition that employs part-level annotations and deep convolutional neural networks (CNNs) in a unified framework.
