Search

Search Results

• Almost Envy-Free Allocations of Indivisible Goods or Chores with Entitlements

  Max Springer, MohammadTaghi Hajiaghayi, Hadi Yami

  9901-9908

  2024-03-24

• On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria

  Brian Hu Zhang, Tuomas Sandholm

  9969-9976

  2024-03-24

• CTO-SLAM: Contour Tracking for Object-Level Robust 4D SLAM

  Xiaohan Li, Dong Liu, Jun Wu

  10323-10331

  2024-03-24

• BAT: Behavior-Aware Human-Like Trajectory Prediction for Autonomous Driving

  Haicheng Liao, Zhenning Li, Huanming Shen, Wenxuan Zeng, Dongping Liao, Guofa Li, Chengzhong Xu

  10332-10340

  2024-03-24

• Deep Homography Estimation for Visual Place Recognition

  Feng Lu, Shuting Dong, Lijun Zhang, Bingxi Liu, Xiangyuan Lan, Dongmei Jiang, Chun Yuan

  10341-10349

  2024-03-24

• Hierarchical Planning and Learning for Robots in Stochastic Settings Using Zero-Shot Option Invention

  Naman Shah, Siddharth Srivastava

  10358-10367

  2024-03-24

• Computing the Why-Provenance for Datalog Queries via SAT Solvers

  Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

  10459-10466

  2024-03-24

• Learning Small Decision Trees for Data of Low Rank-Width

  Konrad K. Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

  10476-10483

  2024-03-24

• Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)

  Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler

  10581-10588

  2024-03-24

• Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis

  Francesco Kriegel

  10597-10606

  2024-03-24

• Abstraction of Situation Calculus Concurrent Game Structures

  Yves Lesperance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

  10624-10634

  2024-03-24

• Auditable Algorithms for Approximate Model Counting

  Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

  10654-10661

  2024-03-24

• BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change

  Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

  10696-10704

  2024-03-24

• Optimised Storage for Datalog Reasoning

  Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

  10748-10755

  2024-03-24

• Active Learning Guided by Efficient Surrogate Learners

  Yunpyo An, Suyeong Park, Kwang In Kim

  10874-10881

  2024-03-24

• Generator Assisted Mixture of Experts for Feature Acquisition in Batch

  Vedang Asgaonkar, Aditya Jain , Abir De

  10927-10934

  2024-03-24

• Taming Binarized Neural Networks and Mixed-Integer Programs

  Johannes Aspman, Georgios Korpas, Jakub Marecek

  10935-10943

  2024-03-24

• Variable Importance in High-Dimensional Settings Requires Grouping

  Ahmad Chamma, Bertrand Thirion, Denis Engemann

  11195-11203

  2024-03-24

• Combinatorial Stochastic-Greedy Bandit

  Fares Fourati, Christopher John Quinn, Mohamed-Slim Alouini, Vaneet Aggarwal

  12052-12060

  2024-03-24

• Fast and Controllable Post-training Sparsity: Learning Optimal Sparsity Allocation with Global Constraint in Minutes

  Ruihao Gong, Yang Yong, Zining Wang, Jinyang Guo, Xiuying Wei, Yuqing Ma, Xianglong Liu

  12190-12198

  2024-03-24

• SoundCount: Sound Counting from Raw Audio with Dyadic Decomposition Neural Network

  Yuhang He, Zhuangzhuang Dai, Niki Trigoni, Long Chen, Andrew Markham

  12421-12429

  2024-03-24

• Training-Free Quantum Architecture Search

  Zhimin He, Maijie Deng, Shenggen Zheng, Lvzhou Li, Haozhen Situ

  12430-12438

  2024-03-24

• Foreseeing Reconstruction Quality of Gradient Inversion: An Optimization Perspective

  Hyeong Gwon Hong, Yooshin Cho, Hanbyel Cho, Jaesung Ahn, Junmo Kim

  12473-12481

  2024-03-24

• FedNS: A Fast Sketching Newton-Type Algorithm for Federated Learning

  Jian Li, Yong Liu, Weiping Wang

  13509-13517

  2024-03-24

• Towards Effective and General Graph Unlearning via Mutual Evolution

  Xunkai Li, Yulin Zhao, Zhengyu Wu, Wentao Zhang, Rong-Hua Li, Guoren Wang

  13682-13690

  2024-03-24