research
∙
09/08/2023
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
The communities of blockchains and distributed ledgers have been stirred...
share
research
∙
07/25/2023
Affine Disjunctive Invariant Generation with Farkas' Lemma
Invariant generation is the classical problem that aims at automated gen...
research
∙
05/02/2023
Differential Newborn Face Morphing Attack Detection using Wavelet Scatter Network
Face Recognition System (FRS) are shown to be vulnerable to morphed imag...
research
∙
03/24/2023
Vulnerability of Face Morphing Attacks: A Case Study on Lookalike and Identical Twins
Face morphing attacks have emerged as a potential threat, particularly i...
research
∙
10/15/2021
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes(Full Version)
Program verification on concurrent programs is a big challenge due to ge...
research
∙
07/01/2021
Essence of Factual Knowledge
Knowledge bases are collections of domain-specific and commonsense facts...
research
∙
12/01/2020
A New Action Recognition Framework for Video Highlights Summarization in Sporting Events
To date, machine learning for human action recognition in video has been...
research
∙
08/12/2020
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Detecting Graphical User Interface (GUI) elements in GUI images is a dom...
research
∙
06/11/2020
Morphing Attack Detection – Database, Evaluation Platform and Benchmarking
Morphing attacks have posed a severe threat to Face Recognition System (...
research
∙
05/17/2020
A Survey on Unknown Presentation Attack Detection for Fingerprint
Fingerprint recognition systems are widely deployed in various real-life...
research
∙
03/01/2020
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning
According to the World Health Organization(WHO), it is estimated that ap...
research
∙
01/03/2020