Search Results for author: Feifei Ma

Found 5 papers, 1 papers with code

Counting the Number of Solutions to Constraints

no code implementations28 Dec 2020 Jian Zhang, Cunjing Ge, Feifei Ma

Compared with constraint satisfaction problems, counting problems have received less attention.

ACFNet: Attentional Class Feature Network for Semantic Segmentation

1 code implementation ICCV 2019 Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding

Recent works have made great progress in semantic segmentation by exploiting richer context, most of which are designed from a spatial perspective.

Semantic Segmentation

A New Probabilistic Algorithm for Approximate Model Counting

no code implementations13 Jun 2017 Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang

Constrained counting is important in domains ranging from artificial intelligence to software analysis.

Diversified Top-k Partial MaxSAT Solving

no code implementations31 May 2017 Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin

We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem.

Community Detection

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)

no code implementations1 Jul 2015 Cunjing Ge, Feifei Ma, Jian Zhang

There are already quite a few tools for solving the Satisfiability Modulo Theories (SMT) problems.

Cannot find the paper you are looking for? You can Submit a new open access paper.