Clik here to view.
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational...
Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki: Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. DISCO 1993: 256-271
View ArticleClik here to view.
Mechanizing Explicit Inductive Equational Reasoning by DTRC.
Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki: Mechanizing Explicit Inductive Equational Reasoning by DTRC. IEICE Trans. Inf. Syst. 78-D(2): 113-121 (1995)
View ArticleClik here to view.
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by...
Su Feng: Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. J. Comput. Sci. Technol. 20(4): 496-513 (2005)
View ArticleClik here to view.
A study on general e-government operation and maintenance model.
Wensheng Yang, Yuanrong Xin, Su Feng: A study on general e-government operation and maintenance model. ICEGOV 2011: 265-268
View ArticleClik here to view.
Debugging Transactions and Tracking their Provenance with Reenactment.
Xing Niu, Bahareh Sadat Arab, Seokki Lee, Su Feng, Xun Zou, Dieter Gawlick, Vasudha Krishnaswamy, Zhen Hua Liu, Boris Glavic: Debugging Transactions and Tracking their Provenance with Reenactment. CoRR...
View ArticleClik here to view.
Debugging Transactions and Tracking their Provenance with Reenactment.
Xing Niu, Bahareh Sadat Arab, Seokki Lee, Su Feng, Xun Zou, Dieter Gawlick, Vasudha Krishnaswamy, Zhen Hua Liu, Boris Glavic: Debugging Transactions and Tracking their Provenance with Reenactment....
View ArticleClik here to view.
GProM - A Swiss Army Knife for Your Provenance Needs.
Bahareh Sadat Arab, Su Feng, Boris Glavic, Seokki Lee, Xing Niu, Qitian Zeng: GProM - A Swiss Army Knife for Your Provenance Needs. IEEE Data Eng. Bull. 41(1): 51-62 (2018)
View ArticleClik here to view.
Uncertainty Annotated Databases - A Lightweight Approach for Approximating...
Su Feng, Aaron Huber, Boris Glavic, Oliver Kennedy: Uncertainty Annotated Databases - A Lightweight Approach for Approximating Certain Answers (extended version). CoRR abs/1904.00234 (2019)
View ArticleClik here to view.
Data Debugging and Exploration with Vizier.
Mike Brachmann, Carlos Bautista, Sonia Castelo, Su Feng, Juliana Freire, Boris Glavic, Oliver Kennedy, Heiko Mueller, Rémi Rampin, William Spoth, Ying Yang: Data Debugging and Exploration with Vizier....
View ArticleClik here to view.
Uncertainty Annotated Databases - A Lightweight Approach for Approximating...
Su Feng, Aaron Huber, Boris Glavic, Oliver Kennedy: Uncertainty Annotated Databases - A Lightweight Approach for Approximating Certain Answers. SIGMOD Conference 2019: 1313-1330
View ArticleClik here to view.
Learning content and context with language bias for Visual Question Answering.
Chao Yang, Su Feng, Dongsheng Li, Huawei Shen, Guoqing Wang, Bin Jiang: Learning content and context with language bias for Visual Question Answering. CoRR abs/2012.11134 (2020)
View ArticleClik here to view.
PPGN: Phrase-Guided Proposal Generation Network For Referring Expression...
Chao Yang, Guoqing Wang, Dongsheng Li, Huawei Shen, Su Feng, Bin Jiang: PPGN: Phrase-Guided Proposal Generation Network For Referring Expression Comprehension. CoRR abs/2012.10890 (2020)
View ArticleClik here to view.
Efficient Uncertainty Tracking for Complex Queries with Attribute-level...
Su Feng, Aaron Huber, Boris Glavic, Oliver Kennedy: Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds (extended version). CoRR abs/2102.11796 (2021)
View ArticleClik here to view.
Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds.
Su Feng, Boris Glavic, Aaron Huber, Oliver A. Kennedy: Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds. SIGMOD Conference 2021: 528-540
View ArticleClik here to view.
Multimodal Product Identification: Submission to Watch and Buy 2021 Challenge.
Jun Peng, Su Feng, Ya Wang, Haowen Hou, Fengzong Lian, Zhanhui Kang: Multimodal Product Identification: Submission to Watch and Buy 2021 Challenge. WAB @ ACM Multimedia 2021: 9-13
View ArticleClik here to view.
Learning Content and Context with Language Bias for Visual Question Answering.
Chao Yang, Su Feng, Dongsheng Li, Huawei Shen, Guoqing Wang, Bin Jiang: Learning Content and Context with Language Bias for Visual Question Answering. ICME 2021: 1-6
View ArticleClik here to view.
DataSense: Display-Agnostic Data Documentation.
Poonam Kumari, Mike Brachmann, Su Feng, Oliver Kennedy, Boris Glavic: DataSense: Display-Agnostic Data Documentation. CIDR 2021
View ArticleClik here to view.
Computing expected multiplicities for bag-TIDBs with bounded multiplicities.
Su Feng, Boris Glavic, Aaron Huber, Oliver Kennedy, Atri Rudra: Computing expected multiplicities for bag-TIDBs with bounded multiplicities. CoRR abs/2204.02758 (2022)
View ArticleClik here to view.
LPGN: Language-Guided Proposal Generation Network for Referring Expression...
Guoqing Wang, Chao Yang, Su Feng, Bin Jiang: LPGN: Language-Guided Proposal Generation Network for Referring Expression Comprehension. ICME 2022: 1-6
View ArticleClik here to view.
Efficient Approximation of Certain and Possible Answers for Ranking and...
Su Feng, Boris Glavic, Oliver Kennedy: Efficient Approximation of Certain and Possible Answers for Ranking and Window Queries over Uncertain Data (Extended version). CoRR abs/2302.08676 (2023)
View Article
