research
∙
09/01/2023
Logical Relations for Session-Typed Concurrency
Program equivalence is the fulcrum for reasoning about and proving prope...
share
research
∙
08/18/2023
Training with Product Digital Twins for AutoRetail Checkout
Automating the checkout process is important in smart retail, where user...
research
∙
03/28/2023
Large-scale Training Data Search for Object Re-identification
We consider a scenario where we have access to the target domain, but ca...
research
∙
11/03/2022
An Empirical Bayes Analysis of Vehicle Trajectory Models
We present an in-depth empirical analysis of the trade-off between model...
research
∙
02/28/2022
Attribute Descent: Simulating Object-Centric Datasets on the Content Level and Beyond
This article aims to use graphic engines to simulate a large number of t...
research
∙
10/18/2020
Disguising Personal Identity Information in EEG Signals
There is a need to protect the personal identity information in public E...
research
∙
09/13/2020
Pairwise-GAN: Pose-based View Synthesis through Pair-Wise Training
Three-dimensional face reconstruction is one of the popular applications...
research
∙
12/18/2019