research
∙
06/28/2023
Deterministic End-to-End Transmission to Optimize the Network Efficiency and Quality of Service: A Paradigm Shift in 6G
Toward end-to-end mobile service provision with optimized network effici...
share
research
∙
06/15/2023
Network Architecture Design toward Convergence of Mobile Applications and Networks
With the quick proliferation of extended reality (XR) services, the mobi...
research
∙
10/13/2021
RelationRS: Relationship Representation Network for Object Detection in Aerial Images
Object detection is a basic and important task in the field of aerial im...
research
∙
08/06/2021
Printed Texts Tracking and Following for a Finger-Wearable Electro-Braille System Through Opto-electrotactile Feedback
This paper presents our recent development on a portable and refreshable...
research
∙
07/21/2021
Decidability of Liveness on the TSO Memory Model
An important property of concurrent objects is whether they support prog...
research
∙
09/18/2020
Learning Safe Neural Network Controllers with Barrier Certificates
We provide a novel approach to synthesize controllers for nonlinear cont...
research
∙
02/09/2020
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models
Recent research has shown that it is challenging to detect out-of-distri...
research
∙
10/24/2018
Deep Learning with Long Short-Term Memory for Time Series Prediction
Time series prediction can be generalized as a process that extracts use...
research
∙
09/15/2018
Parameter Synthesis Problems for one parametric clock Timed Automata
In this paper, we study the parameter synthesis problem for a class of p...
research
∙
08/31/2018
Automated Prototype Generation from Formal Requirements Model
Prototyping is an effective and efficient way of requirement validation ...
research
∙
03/14/2018
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers
Legacy Electronic Health Records (EHRs) systems were not developed with ...
research
∙
11/08/2017