research
∙
08/01/2023
NormKD: Normalized Logits for Knowledge Distillation
Logit based knowledge distillation gets less attention in recent years s...
share
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 ...
research
∙
10/31/2022
Improving Multi-generation Robustness of Learned Image Compression
Benefit from flexible network designs and end-to-end joint optimization ...
research
∙
10/21/2022
TAP: Transparent and Privacy-Preserving Data Services
Users today expect more security from services that handle their data. I...
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...
research
∙
06/20/2022
Hands-on Wireless Sensing with Wi-Fi: A Tutorial
With the rapid development of wireless communication technology, wireles...
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...
research
∙
04/16/2021
Transparent Electricity Pricing with Privacy
Smart grids leverage data from smart meters to improve operations manage...
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...
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...
research
∙
07/13/2020
Gender Classification and Bias Mitigation in Facial Images
Gender classification algorithms have important applications in many dom...
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...
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...
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...
research
∙
10/26/2019
Region Mutual Information Loss for Semantic Segmentation
Semantic segmentation is a fundamental problem in computer vision. It is...
research
∙
09/02/2019
Training-Time-Friendly Network for Real-Time Object Detection
Modern object detectors can rarely achieve short training time, fast inf...
research
∙
07/16/2019
Improving Semantic Segmentation via Dilated Affinity
Introducing explicit constraints on the structural predictions has been ...
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...
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...
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. ...
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...
research
∙
07/10/2018
On the Performance of NOMA with Hybrid ARQ
In this paper, we investigate the outage performance of hybrid automatic...
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...
research
∙
05/01/2018
Formal Process Virtual Machine for Smart Contracts Verification
This paper reports on the development and verification of a novel formal...
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...
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 ...
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 ...
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...
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...
research
∙
11/06/2017