no code implementations • 17 Aug 2023 • Lubing Zhou, Xiaoli Meng, Yiluan Guo, Jiong Yang
The similarity between these learned embeddings can be used to link the boxes of the same object.
no code implementations • 9 Jun 2023 • Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Subsequently, given a query such as whether a clause with low literals blocks distance (LBD) has a higher clause utility, CausalSAT calculates the causal effect of LBD on clause utility and provides an answer to the question.
no code implementations • 16 May 2023 • Jiong Yang, Kuldeep S. Meel
The problem of model counting, also known as #SAT, is to compute the number of models or satisfying assignments of a given Boolean formula $F$.
no code implementations • 3 Nov 2022 • Xinyue Zhang, Genwang Wei, Ye Sheng, Jiong Yang, Caichao Ye, Wenqing Zhang
By investigating the combinations of polymer units with mobility performance, a scheme for designing polymer OSC materials by combining ML approaches and PUFp information is proposed to not only passively predict OSC mobility but also actively provide structural guidance for new high-mobility OSC material design.
no code implementations • 18 Oct 2021 • Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
We show that in several such cases, we can identify a set of variables, called upper bound support (UBS), that is not necessarily a subset of the projection set, and yet counting models projected on UBS guarantees an upper bound of the true projected model count.
17 code implementations • CVPR 2019 • Alex H. Lang, Sourabh Vora, Holger Caesar, Lubing Zhou, Jiong Yang, Oscar Beijbom
These benchmarks suggest that PointPillars is an appropriate encoding for object detection in point clouds.
no code implementations • ICCV 2017 • Jiong Yang, Junsong Yuan
Similar to common object discovery in images or videos, it is of great interests to discover and locate common actions in videos, which can benefit many video analytics applications such as video summarization, search, and understanding.
no code implementations • ICCV 2015 • Kang Dang, Jiong Yang, Junsong Yuan
We propose an efficient online video filtering method, called adaptive exponential filtering (AES) to refine pixel prediction maps.