research
∙
09/14/2023
ALWOD: Active Learning for Weakly-Supervised Object Detection
Object detection (OD), a crucial vision task, remains challenged by the ...
share
research
∙
02/25/2023
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation
Verified compositional compilation (VCC) is a notion of modular verifica...
research
∙
12/02/2022
D2DF2WOD: Learning Object Proposals for Weakly-Supervised Object Detection via Progressive Domain Adaptation
Weakly-supervised object detection (WSOD) models attempt to leverage ima...
research
∙
06/30/2022
TENET: Transformer Encoding Network for Effective Temporal Flow on Motion Prediction
This technical report presents an effective method for motion prediction...
research
∙
10/03/2020
DCDChain: A Credible Architecture of Digital Copyright Detection Based on Blockchain
Copyright detection is an effective method to prevent piracy. However, u...
research
∙
01/29/2020
ABSent: Cross-Lingual Sentence Representation Mapping with Bidirectional GANs
A number of cross-lingual transfer learning approaches based on neural n...
research
∙
09/06/2019
Bayes-Factor-VAE: Hierarchical Bayesian Deep Auto-Encoder Models for Factor Disentanglement
We propose a family of novel hierarchical Bayesian deep auto-encoder mod...
research
∙
02/05/2019
Relevance Factor VAE: Learning and Identifying Disentangled Factors
We propose a novel VAE-based deep auto-encoder model that can learn dise...
research
∙
06/20/2018
Schematic Polymorphism in the Abella Proof Assistant
The Abella interactive theorem prover has proven to be an effective vehi...
research
∙
03/21/2018
Generative Adversarial Talking Head: Bringing Portraits to Life with a Weakly Supervised Neural Network
This paper presents Generative Adversarial Talking Head (GATH), a novel ...
research
∙
10/02/2017
