17 citations · 37 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, Hanyue Zheng +5
We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and per…
cs.CV2019★ 1 cited
Amora: Black-box Adversarial Morphing Attack
Run Wang, Felix Juefei-Xu, Qing Guo +4
Nowadays, digital facial content manipulation has become ubiquitous and realistic with the success of generative adversarial networks (GANs), making face recognition (FR) systems s…