143 citations · 252 across the 5 of their papers we have counts for
5 papers
Affine Disjunctive Invariant Generation with Farkas' Lemma
Jingyu Ke, Hongfei Fu, Hongming Liu +3
In the verification of loop programs, disjunctive invariants are essential to capture complex loop dynamics such as phase and mode changes. In this work, we develop a novel approac…
Essence of Factual Knowledge
Ruoyu Wang, Daniel Sun, Guoqiang Li +2
Knowledge bases are collections of domain-specific and commonsense facts. Recently, the sizes of KBs are rocketing due to automatic extraction for knowledge and facts. For example,…
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Jieshan Chen, Mulong Xie, Zhenchang Xing +4
Detecting Graphical User Interface (GUI) elements in GUI images is a domain-specific object detection task. It supports many software engineering tasks, such as GUI animation and t…
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning
Jieshan Chen, Chunyang Chen, Zhenchang Xing +4
According to the World Health Organization(WHO), it is estimated that approximately 1.3 billion people live with some forms of vision impairment globally, of whom 36 million are bl…
Statistical Detection of Collective Data Fraud
Ruoyu Wang, Xiaobo Hu, Daniel Sun +4
Statistical divergence is widely applied in multimedia processing, basically due to regularity and interpretable features displayed in data. However, in a broader range of data rea…