b'Zheng Yang'

research

∙ 08/01/2023

NormKD: Normalized Logits for Knowledge Distillation

Logit based knowledge distillation gets less attention in recent years s...

0 Zhihao Chi, et al. ∙

research

∙ 06/27/2023

Catch Me If You Can: A New Low-Rate DDoS Attack Strategy Disguised by Feint

While collaborative systems provide convenience to our lives, they also ...

0 Tianyang Cai, et al. ∙

research

∙ 10/31/2022

Improving Multi-generation Robustness of Learned Image Compression

Benefit from flexible network designs and end-to-end joint optimization ...

0 Litian Li, et al. ∙

research

∙ 10/21/2022

TAP: Transparent and Privacy-Preserving Data Services

Users today expect more security from services that handle their data. I...

0 Daniel Reijsbergen, et al. ∙

research

∙ 07/18/2022

DID-M3D: Decoupling Instance Depth for Monocular 3D Object Detection

Monocular 3D detection has drawn much attention from the community due t...

2 Liang Peng, et al. ∙

research

∙ 06/20/2022

Hands-on Wireless Sensing with Wi-Fi: A Tutorial

With the rapid development of wireless communication technology, wireles...

0 Zheng Yang, et al. ∙

research

∙ 03/16/2022

WeakM3D: Towards Weakly Supervised Monocular 3D Object Detection

Monocular 3D object detection is one of the most challenging tasks in 3D...

3 Liang Peng, et al. ∙

research

∙ 04/16/2021

Transparent Electricity Pricing with Privacy

Smart grids leverage data from smart meters to improve operations manage...

0 Daniel Reijsbergen, et al. ∙

research

∙ 08/31/2020

RESA: Recurrent Feature-Shift Aggregator for Lane Detection

Lane detection is one of the most important tasks in self-driving. Due t...

9 Tu Zheng, et al. ∙

research

∙ 08/12/2020

Reconfigurable Intelligent Surfaces Assisted Communications with Discrete Phase Shifts: How Many Quantization Levels are Required to Achieve Full Diversity?

Due to hardware limitations, the phase shifts of the reflecting elements...

0 Peng Xu, et al. ∙

research

∙ 07/13/2020

Gender Classification and Bias Mitigation in Facial Images

Gender classification algorithms have important applications in many dom...

0 Wenying Wu, et al. ∙

research

∙ 04/01/2020

Boundary-Aware Dense Feature Indicator for Single-Stage 3D Object Detection from Point Clouds

3D object detection based on point clouds has become more and more popul...

0 Guodong Xu, et al. ∙

research

∙ 03/06/2020

PAS: Prediction-based Adaptive Sleeping for Environment Monitoring in Sensor Networks

Energy efficiency has proven to be an important factor dominating the wo...

0 Zheng Yang, et al. ∙

research

∙ 11/14/2019

PI-RCNN: An Efficient Multi-sensor 3D Object Detector with Point-based Attentive Cont-conv Fusion Module

LIDAR point clouds and RGB-images are both extremely essential for 3D ob...

19 Liang Xie, et al. ∙

research

∙ 10/26/2019

Region Mutual Information Loss for Semantic Segmentation

Semantic segmentation is a fundamental problem in computer vision. It is...

0 Shuai Zhao, et al. ∙

research

∙ 09/02/2019

Training-Time-Friendly Network for Real-Time Object Detection

Modern object detectors can rarely achieve short training time, fast inf...

0 Zili Liu, et al. ∙

research

∙ 07/16/2019

Improving Semantic Segmentation via Dilated Affinity

Introducing explicit constraints on the structural predictions has been ...

6 Boxi Wu, et al. ∙

research

∙ 02/23/2019

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts

This paper reports on the development of a formal symbolic process virtu...

0 Zheng Yang, et al. ∙

research

∙ 12/24/2018

Automatic Device Classification from Network Traffic Streams of Internet of Things

With the widespread adoption of Internet of Things (IoT), billions of ev...

0 Lei Bai, et al. ∙

research

∙ 10/11/2018

FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq

Blockchain technology adds records to a list using cryptographic links. ...

0 Zheng Yang, et al. ∙

research

∙ 08/26/2018

Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems

In recent publications, we presented a novel formal symbolic process vir...

0 Zheng Yang, et al. ∙

research

∙ 07/10/2018

On the Performance of NOMA with Hybrid ARQ

In this paper, we investigate the outage performance of hybrid automatic...

0 Donghong Cai, et al. ∙

research

∙ 05/17/2018

Interpretable Parallel Recurrent Neural Networks with Convolutional Attentions for Multi-Modality Activity Modeling

Multimodal features play a key role in wearable sensor-based human activ...

0 Kaixuan Chen, et al. ∙

research

∙ 05/01/2018

Formal Process Virtual Machine for Smart Contracts Verification

This paper reports on the development and verification of a novel formal...

0 Zheng Yang, et al. ∙

research

∙ 03/27/2018

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language

This article presents the formal syntax and semantics for a large subset...

0 Zheng Yang, et al. ∙

research

∙ 02/23/2018

A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusab

In recent years, a number of lightweight programs have been deployed in ...

0 Zheng Yang, et al. ∙

research

∙ 02/23/2018

A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased

In recent years, a number of lightweight programs have been deployed in ...

0 Zheng Yang, et al. ∙

research

∙ 02/12/2018

Know Your Mind: Adaptive Brain Signal Classification with Reinforced Attentive Convolutional Neural Networks

Electroencephalography (EEG) signals reflect activities on certain brain...

0 Xiang Zhang, et al. ∙

research

∙ 01/27/2018

Exploration on Generating Traditional Chinese Medicine Prescription from Symptoms with an End-to-End method

Traditional Chinese Medicine (TCM) is an influential form of medical tre...

0 Wei Li, et al. ∙

research

∙ 11/06/2017

Distributed Representation for Traditional Chinese Medicine Herb via Deep Learning Models

Traditional Chinese Medicine (TCM) has accumulated a big amount of preci...

0 Wei Li, et al. ∙

Zheng Yang

Featured Co-authors