Search

Search Results

• Relative Attributes for Enhanced Human-Machine Communication

  Devi Parikh, Adriana Kovashka, Amar Parkash, Kristen Grauman

  2153-2159

  2021-09-20

• SMT-Based Verification of Hybrid Systems

  Alessandro Cimatti, Sergio Mover, Stefano Tonetta

  2100-2105

  2021-09-20

• Optimal Manipulation of Voting Rules

  Svetlana Obraztsova, Edith Elkind

  2141-2147

  2021-09-20

• Heuristic Search Comes of Age

  Nathan Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml

  2186-2191

  2021-09-20

• Goal Recognition with Markov Logic Networks for Player-Adaptive Games

  Eun Ha, Jonathan Rowe, Bradford Mott, James Lester

  2113-2119

  2021-09-20

• Symmetry Breaking Constraints: Recent Results

  Toby Walsh

  2192-2198

  2021-09-20

• Seven Challenges in Parallel SAT Solving

  Youssef Hamadi, Christoph Wintersteiger

  2120-2125

  2021-09-20

• PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States

  Eric Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer

  2173-2179

  2021-09-20

• Search-Based Path Planning with Homotopy Class Constraints in 3D

  Subhrajit Bhattacharya, Maxim Likhachev, Vijay Kumar

  2097-2099

  2021-09-20

• Semi-Relaxed Plan Heuristics

  Emil Keyder, Joerg Hoffmann, Patrik Haslum

  2126-2128

  2021-09-20

• Frugal Coordinate Descent for Large-Scale NNLS

  Vamsi Potluru

  2451-2452

  2021-09-20

• Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances

  Raghvendra Jain, Tetsunari Inamura

  2429-2430

  2021-09-20

• Recommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches

  Xing Chen, Lin Li, Guandong Xu, Zhenglu Yang, Masaru Kitsuregawa

  2417-2418

  2021-09-20

• Failure Handling In a Planning Framework

  Sertac Karapinar, Sanem Sariel-Talay

  2431-2432

  2021-09-20

• A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video

  Young Chol Song, Henry Kautz

  2457-2458

  2021-09-20

• A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty

  Hadi Hosseini, Jesse Hoey, Robin Cohen

  2427-2428

  2021-09-20

• Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis

  Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan DeKleer

  2425-2426

  2021-09-20

• Informed Initial Policies for Learning in Dec-POMDPs

  Landon Kraemer, Bikramjit Banerjee

  2433-2434

  2021-09-20

• Exploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents

  Shiwali Mohan, John Laird

  2445-2446

  2021-09-20

• Learning Names for RFID-Tagged Objects in Activity Videos

  Ian Perera, James Allen

  2449-2450

  2021-09-20

• Temporally Expressive Planning Based on Answer Set Programming with Constraints

  Forrest Bao, Yuanlin Zhang

  2413-2414

  2021-09-20

• A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices

  Pedro Rodrigues Quemel e Assis Santana, Brian Williams

  2453-2454

  2021-09-20

• A New Operator for ABox Revision in DL-Lite

  Sibei Gao, Guilin Qi, Haofen Wang

  2423-2424

  2021-09-20

• Online Sequence Alignment for Real-Time Audio Transcription by Non-Experts

  Walter Lasecki, Christopher Miller, Donato Borrello, Jeffrey Bigham

  2437-2438

  2021-09-20

• Real-Time Collaborative Planning with the Crowd

  Walter Lasecki, Jeffrey Bigham, James Allen, George Ferguson

  2435-2436

  2021-09-20