FastPDB: Towards Bag-Probabilistic Queries at Interactive Speeds.
Proc. ACM Manag. Data, February, 2025
Learning from Uncertain Data: From Possible Worlds to Possible Models.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Efficient Approximation of Certain and Possible Answers for Ranking and Window Queries over Uncertain Data.
Proc. VLDB Endow., 2023
Efficient Approximation of Certain and Possible Answers for Ranking and Window Queries over Uncertain Data (Extended version).
CoRR, 2023
Computing expected multiplicities for bag-TIDBs with bounded multiplicities.
CoRR, 2022
LPGN: Language-Guided Proposal Generation Network for Referring Expression Comprehension.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2022
Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds (extended version).
CoRR, 2021
Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
Multimodal Product Identification: Submission to Watch and Buy 2021 Challenge.
Proceedings of the WAB'21: Proceedings of the 1st Workshop on Multimodal Product Identification in Livestreaming and WAB Challenge, 2021
Learning Content and Context with Language Bias for Visual Question Answering.
Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021
DataSense: Display-Agnostic Data Documentation.
Proceedings of the 11th Conference on Innovative Data Systems Research, 2021
PPGN: Phrase-Guided Proposal Generation Network For Referring Expression Comprehension.
CoRR, 2020
Uncertainty Annotated Databases - A Lightweight Approach for Approximating Certain Answers (extended version).
CoRR, 2019
Uncertainty Annotated Databases - A Lightweight Approach for Approximating Certain Answers.
Proceedings of the 2019 International Conference on Management of Data, 2019
Data Debugging and Exploration with Vizier.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2019 International Conference on Management of Data, 2019
GProM - A Swiss Army Knife for Your Provenance Needs.
IEEE Data Eng. Bull., 2018
Debugging Transactions and Tracking their Provenance with Reenactment.
Proc. VLDB Endow., 2017
A study on general e-government operation and maintenance model.
Proceedings of the ICEGOV 2011, 2011
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions.
J. Comput. Sci. Technol., 2005
Mechanizing Explicit Inductive Equational Reasoning by DTRC.
IEICE Trans. Inf. Syst., 1995
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993