b'Hao Zheng'

research

∙ 07/31/2023

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs

Modeling system-level behaviors of intricate System-on-Chip (SoC) design...

0 MD Rubel Ahmed, et al. ∙

research

∙ 07/28/2023

AC-Norm: Effective Tuning for Medical Image Analysis via Affine Collaborative Normalization

Driven by the latest trend towards self-supervised learning (SSL), the p...

0 Chuyan Zhang, et al. ∙

research

∙ 07/25/2023

Gait Cycle-Inspired Learning Strategy for Continuous Prediction of Knee Joint Trajectory from sEMG

Predicting lower limb motion intent is vital for controlling exoskeleton...

0 Xueming Fu, et al. ∙

research

∙ 07/09/2023

HA-ViD: A Human Assembly Video Dataset for Comprehensive Assembly Knowledge Understanding

Understanding comprehensive assembly knowledge from videos is critical f...

0 Hao Zheng, et al. ∙

research

∙ 05/19/2023

Few-Shot Learning with Visual Distribution Calibration and Cross-Modal Distribution Alignment

Pre-trained vision-language models have inspired much research on few-sh...

0 Runqi Wang, et al. ∙

research

∙ 05/17/2023

CageViT: Convolutional Activation Guided Efficient Vision Transformer

Recently, Transformers have emerged as the go-to architecture for both v...

0 Hao Zheng, et al. ∙

research

∙ 03/10/2023

Multi-site, Multi-domain Airway Tree Modeling (ATM'22): A Public Benchmark for Pulmonary Airway Segmentation

Open international challenges are becoming the de facto standard for ass...

0 Minghui Zhang, et al. ∙

research

∙ 03/06/2023

SurfNN: Joint Reconstruction of Multiple Cortical Surfaces from Magnetic Resonance Images

To achieve fast, robust, and accurate reconstruction of the human cortic...

0 Hao Zheng, et al. ∙

research

∙ 01/27/2023

Deep Clustering Survival Machines with Interpretable Expert Distributions

Conventional survival analysis methods are typically ineffective to char...

0 Bojian Hou, et al. ∙

research

∙ 01/11/2023

TAPS: Topology-Aware Intra-Operator Parallelism Strategy Searching Algorithm for Deep Neural Networks

TAPS is a Topology-Aware intra-operator Parallelism strategy Searching a...

0 Peng Liang, et al. ∙

research

∙ 12/12/2022

Real-World Compositional Generalization with Disentangled Sequence-to-Sequence Learning

Compositional generalization is a basic mechanism in human language lear...

0 Hao Zheng, et al. ∙

research

∙ 11/16/2022

Keep Your Friends Close Enemies Farther: Debiasing Contrastive Learning with Spatial Priors in 3D Radiology Images

Understanding of spatial attributes is central to effective 3D radiology...

0 Yejia Zhang, et al. ∙

research

∙ 11/15/2022

A Point in the Right Direction: Vector Prediction for Spatially-aware Self-supervised Volumetric Representation Learning

High annotation costs and limited labels for dense 3D medical imaging ta...

0 Yejia Zhang, et al. ∙

research

∙ 11/11/2022

Dance of SNN and ANN: Solving binding problem by combining spike timing and reconstructive attention

The binding problem is one of the fundamental challenges that prevent th...

0 Hao Zheng, et al. ∙

research

∙ 09/12/2022

Mining SoC Message Flows with Attention Model

High-quality system-level message flow specifications are necessary for ...

0 MD Rubel Ahmed, et al. ∙

research

∙ 07/11/2022

Counterexample Generation for Infinite-State Chemical Reaction Networks

Counterexample generation is an indispensable part of model checking pro...

0 Mohammad Ahmadi, et al. ∙

research

∙ 07/01/2022

Usable Region Estimate for Assessing Practical Usability of Medical Image Segmentation Models

We aim to quantitatively measure the practical usability of medical imag...

0 Yizhe Zhang, et al. ∙

research

∙ 03/09/2022

Deep Bidirectional Transformers for SoC Flow Specification Mining

High-quality system-level message flow specifications can lead to compre...

0 MD Rubel Ahmed, et al. ∙

research

∙ 02/13/2022

LTSP: Long-Term Slice Propagation for Accurate Airway Segmentation

Purpose: Bronchoscopic intervention is a widely-used clinical technique ...

4 Yangqian Wu, et al. ∙

research

∙ 01/29/2022

BREAK: Bronchi Reconstruction by gEodesic transformation And sKeleton embedding

Airway segmentation is critical for virtual bronchoscopy and computer-ai...

12 Hao Zheng, et al. ∙

research

∙ 10/09/2021

Disentangled Sequence to Sequence Learning for Compositional Generalization

There is mounting evidence that existing neural network models, in parti...

0 Hao Zheng, et al. ∙

research

∙ 09/07/2021

FDA: Feature Decomposition and Aggregation for Robust Airway Segmentation

3D Convolutional Neural Networks (CNNs) have been widely adopted for air...

2 Minghui Zhang, et al. ∙

research

∙ 07/10/2021

Hierarchical Self-Supervised Learning for Medical Image Segmentation Based on Multi-Domain Data Aggregation

A large labeled dataset is a key to the success of supervised deep learn...

10 Hao Zheng, et al. ∙

research

∙ 06/01/2021

LenAtten: An Effective Length Controlling Unit For Text Summarization

Fixed length summarization aims at generating summaries with a preset nu...

0 Zhongyi Yu, et al. ∙

research

∙ 03/18/2021

Tools and Algorithms for SoC Communication Traces

In this paper, we study seven well-known trace analysis techniques both ...

0 MD Rubel Ahmed, et al. ∙

research

∙ 02/13/2021

Model Synthesis for Communication Traces of System-on-Chip Designs

Concise and abstract models of system-level behaviors are invaluable in ...

0 Hao Zheng, et al. ∙

research

∙ 12/17/2020

Unlabeled Data Guided Semi-supervised Histopathology Image Segmentation

Automatic histopathology image segmentation is crucial to disease analys...

12 Hongxiao Wang, et al. ∙

research

∙ 12/10/2020

Learning Tubule-Sensitive CNNs for Pulmonary Airway and Artery-Vein Segmentation in CT

Training convolutional neural networks (CNNs) for segmentation of pulmon...

3 Yulei Qin, et al. ∙

research

∙ 11/24/2020

Alleviating Class-wise Gradient Imbalance for Pulmonary Airway Segmentation

Automated airway segmentation is a prerequisite for pre-operative diagno...

15 Hao Zheng, et al. ∙

research

∙ 10/22/2020

Compositional Generalization via Semantic Tagging

Although neural sequence-to-sequence models have been successfully appli...

0 Hao Zheng, et al. ∙

research

∙ 06/05/2020

Brain-inspired global-local hybrid learning towards human-like intelligence

The combination of neuroscience-oriented and computer-science-oriented a...

0 Yujie Wu, et al. ∙

research

∙ 05/22/2020

Mining Message Flows from System-on-Chip Execution Traces

Comprehensive and well-defined specifications are necessary to perform r...

0 MD Rubel Ahmed, et al. ∙

research

∙ 05/06/2020

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug

Reconstructing system-level behavior from silicon traces is a critical p...

0 Yuting Cao, et al. ∙

research

∙ 04/30/2020

Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking

The enormous number of states reachable during explicit model checking i...

0 Hao Zheng, et al. ∙

research

∙ 04/30/2020

Local State Space Analysis to Assist Partial Order Reduction

This paper presents an approach to more efficient partial order reductio...

0 Hao Zheng, et al. ∙

research

∙ 04/29/2020

Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs

Comprehensive specifications are essential for various activities across...

0 Yuting Cao, et al. ∙

research

∙ 07/17/2019

A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug

Reconstruction of how components communicate with each other during syst...

0 Yuting Cao, et al. ∙

research

∙ 07/16/2019

AirwayNet: A Voxel-Connectivity Aware Approach for Accurate Airway Segmentation Using Convolutional Neural Networks

Airway segmentation on CT scans is critical for pulmonary disease diagno...

0 Yulei Qin, et al. ∙

research

∙ 06/08/2019

Sentence Centrality Revisited for Unsupervised Summarization

Single document summarization has enjoyed renewed interests in recent ye...

0 Hao Zheng, et al. ∙

research

∙ 06/01/2019

STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis

Stochastic model checking is a technique for analyzing systems that poss...

0 Thakur Neupane, et al. ∙

research

∙ 02/28/2019

SPDA: Superpixel-based Data Augmentation for Biomedical Image Segmentation

Supervised training a deep neural network aims to "teach" the network to...

0 Yizhe Zhang, et al. ∙

research

∙ 01/15/2019

Cascade Decoder: A Universal Decoding Method for Biomedical Image Segmentation

The Encoder-Decoder architecture is a main stream deep learning model fo...

0 Peixian Liang, et al. ∙

research

∙ 12/10/2018

A New Ensemble Learning Framework for 3D Biomedical Image Segmentation

3D image segmentation plays an important role in biomedical image analys...

0 Hao Zheng, et al. ∙

research

∙ 10/13/2018

Varifocal-Net: A Chromosome Classification Approach using Deep Convolutional Networks

Chromosome classification is critical for karyotyping in abnormality dia...

0 Yulei Qin, et al. ∙

research

∙ 06/28/2018

Deep Learning Based Instance Segmentation in 3D Biomedical Images Using Weak Annotation

Instance segmentation in 3D images is a fundamental task in biomedical i...

0 Zhuo Zhao, et al. ∙

research

∙ 06/02/2018

BoxNet: Deep Learning Based Biomedical Image Segmentation Using Boxes Only Annotation

In recent years, deep learning (DL) methods have become powerful tools f...

0 Lin Yang, et al. ∙

research

∙ 03/27/2018

MLE-induced Likelihood for Markov Random Fields

Due to the intractable partition function, the exact likelihood function...

0 Jie Liu, et al. ∙

research

∙ 09/16/2017

AISHELL-1: An Open-Source Mandarin Speech Corpus and A Speech Recognition Baseline

An open-source Mandarin speech corpus called AISHELL-1 is released. It i...

0 Hui Bu, et al. ∙

Hao Zheng

Featured Co-authors