Modeling system-level behaviors of intricate System-on-Chip (SoC) design...
Driven by the latest trend towards self-supervised learning (SSL), the
p...
Predicting lower limb motion intent is vital for controlling exoskeleton...
Understanding comprehensive assembly knowledge from videos is critical f...
Pre-trained vision-language models have inspired much research on few-sh...
Recently, Transformers have emerged as the go-to architecture for both v...
Open international challenges are becoming the de facto standard for
ass...
To achieve fast, robust, and accurate reconstruction of the human cortic...
Conventional survival analysis methods are typically ineffective to
char...
TAPS is a Topology-Aware intra-operator Parallelism strategy Searching
a...
Compositional generalization is a basic mechanism in human language lear...
Understanding of spatial attributes is central to effective 3D radiology...
High annotation costs and limited labels for dense 3D medical imaging ta...
The binding problem is one of the fundamental challenges that prevent th...
High-quality system-level message flow specifications are necessary for
...
Counterexample generation is an indispensable part of model checking pro...
We aim to quantitatively measure the practical usability of medical imag...
High-quality system-level message flow specifications can lead to
compre...
Purpose: Bronchoscopic intervention is a widely-used clinical technique ...
Airway segmentation is critical for virtual bronchoscopy and computer-ai...
There is mounting evidence that existing neural network models, in parti...
3D Convolutional Neural Networks (CNNs) have been widely adopted for air...
A large labeled dataset is a key to the success of supervised deep learn...
Fixed length summarization aims at generating summaries with a preset nu...
In this paper, we study seven well-known trace analysis techniques both ...
Concise and abstract models of system-level behaviors are invaluable in
...
Automatic histopathology image segmentation is crucial to disease analys...
Training convolutional neural networks (CNNs) for segmentation of pulmon...
Automated airway segmentation is a prerequisite for pre-operative diagno...
Although neural sequence-to-sequence models have been successfully appli...
The combination of neuroscience-oriented and computer-science-oriented
a...
Comprehensive and well-defined specifications are necessary to perform
r...
Reconstructing system-level behavior from silicon traces is a critical
p...
The enormous number of states reachable during explicit model checking i...
This paper presents an approach to more efficient partial order reductio...
Comprehensive specifications are essential for various activities across...
Reconstruction of how components communicate with each other during syst...
Airway segmentation on CT scans is critical for pulmonary disease diagno...
Single document summarization has enjoyed renewed interests in recent ye...
Stochastic model checking is a technique for analyzing systems that poss...
Supervised training a deep neural network aims to "teach" the network to...
The Encoder-Decoder architecture is a main stream deep learning model fo...
3D image segmentation plays an important role in biomedical image analys...
Chromosome classification is critical for karyotyping in abnormality
dia...
Instance segmentation in 3D images is a fundamental task in biomedical i...
In recent years, deep learning (DL) methods have become powerful tools f...
Due to the intractable partition function, the exact likelihood function...
An open-source Mandarin speech corpus called AISHELL-1 is released. It i...