Search

Search Results

• CIA-SSD: Confident IoU-Aware Single-Stage Object Detector From Point Cloud

  Wu Zheng, Weiliang Tang, Sijin Chen, Li Jiang, Chi-Wing Fu

  3555-3562

  2021-05-18

• Regional Attention with Architecture-Rebuilt 3D Network for RGB-D Gesture Recognition

  Benjia Zhou, Yunan Li, Jun Wan

  3563-3571

  2021-05-18

• Deep Semantic Dictionary Learning for Multi-label Image Classification

  Fengtao Zhou, Sheng Huang, Yun Xing

  3572-3580

  2021-05-18

• Model Uncertainty Guides Visual Object Tracking

  Lijun Zhou, Antoine Ledent, Qintao Hu, Ting Liu, Jianlin Zhang, Marius Kloft

  3581-3589

  2021-05-18

• Optimizing Information Theory Based Bitwise Bottlenecks for Efficient Mixed-Precision Activation Quantization

  Xichuan Zhou, Kui Liu, Cong Shi, Haijun Liu, Ji Liu

  3590-3598

  2021-05-18

• Inferring Camouflaged Objects by Texture-Aware Interactive Guidance Network

  Jinchao Zhu, Xiaoyu Zhang, Shuo Zhang, Junnan Liu

  3599-3607

  2021-05-18

• Simple is not Easy: A Simple Strong Baseline for TextVQA and TextCaps

  Qi Zhu, Chenyu Gao, Peng Wang, Qi Wu

  3608-3615

  2021-05-18

• Fooling Thermal Infrared Pedestrian Detectors in Real World Using Small Bulbs

  Xiaopei Zhu, Xiao Li, Jianmin Li, Zheyao Wang, Xiaolin Hu

  3616-3624

  2021-05-18

• ASHF-Net: Adaptive Sampling and Hierarchical Folding Network for Robust Point Cloud Completion

  Daoming Zong, Shiliang Sun, Jing Zhao

  3625-3632

  2021-05-18

• New Length Dependent Algorithm for Maximum Satisfiability Problem

  Vasily Alferov, Ivan Bliznets

  3634-3641

  2021-05-18

• Online Search with Maximum Clearance

  Spyros Angelopoulos, Malachi Voss

  3642-3650

  2021-05-18

• Counting Maximal Satisfiable Subsets

  Jaroslav Bendík, Kuldeep S. Meel

  3651-3660

  2021-05-18

• Learning To Scale Mixed-Integer Programs

  Timo Berthold, Gregor Hendel

  3661-3668

  2021-05-18

• A SAT-based Resolution of Lam's Problem

  Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas, Vijay Ganesh

  3669-3676

  2021-05-18

• Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

  Quentin Cappart, Thierry Moisan, Louis-Martin Rousseau, Isabeau Prémont-Schwarz, Andre A. Cire

  3677-3687

  2021-05-18

• Necessary and Sufficient Conditions for Avoiding Reopenings in Best First Suboptimal Search with General Bounding Functions

  Jingwei Chen, Nathan R. Sturtevant

  3688-3696

  2021-05-18

• A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving

  Pei-Wei Chen, Yu-Ching Huang, Jie-Hong R. Jiang

  3697-3706

  2021-05-18

• An Improved Upper Bound for SAT

  Huairui Chu, Mingyu Xiao, Zhe Zhang

  3707-3714

  2021-05-18

• Solving Infinite-Domain CSPs Using the Patchwork Property

  Konrad K Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

  3715-3723

  2021-05-18

• Disjunctive Temporal Problems under Structural Restrictions

  Konrad K Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

  3724-3732

  2021-05-18

• Optimal Decision Trees for Nonlinear Metrics

  Emir Demirović, Peter J. Stuckey

  3733-3741

  2021-05-18

• Teaching the Old Dog New Tricks: Supervised Learning with Constraints

  Fabrizio Detassis, Michele Lombardi, Michela Milano

  3742-3749

  2021-05-18

• Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning

  Jo Devriendt, Stephan Gocht, Emir Demirović, Jakob Nordström, Peter J. Stuckey

  3750-3758

  2021-05-18

• Optimising Automatic Calibration of Electric Muscle Stimulation

  Graeme Gange, Jarrod Knibbe

  3759-3767

  2021-05-18

• Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

  Stephan Gocht, Jakob Nordström

  3768-3777

  2021-05-18