Search

Search Results

• A Set of Control Points Conditioned Pedestrian Trajectory Prediction

  Inhwan Bae, Hae-Gon Jeon

  6155-6165

  2023-06-26

• Meta-Auxiliary Learning for Adaptive Human Pose Prediction

  Qiongjie Cui, Huaijiang Sun, Jianfeng Lu, Bin Li, Weiqing Li

  6166-6174

  2023-06-26

• Moving-Landmark Assisted Distributed Learning Based Decentralized Cooperative Localization (DL-DCL) with Fault Tolerance

  Shubhankar Gupta, Suresh Sundaram

  6175-6182

  2023-06-26

• Periodic Multi-Agent Path Planning

  Kazumi Kasaura, Ryo Yonetani, Mai Nishimura

  6183-6191

  2023-06-26

• Improving Robotic Tactile Localization Super-resolution via Spatiotemporal Continuity Learning and Overlapping Air Chambers

  Xuyang Li, Yipu Zhang, Xuemei Xie, Jiawei Li, Guangming Shi

  6192-6199

  2023-06-26

• Co-imitation: Learning Design and Behaviour by Imitation

  Chang Rajani, Karol Arndt, David Blanco-Mulero, Kevin Sebastian Luck, Ville Kyrki

  6200-6208

  2023-06-26

• RobustLoc: Robust Camera Pose Regression in Challenging Driving Environments

  Sijie Wang, Qiyu Kang, Rui She, Wee Peng Tay, Andreas Hartmannsgruber, Diego Navarro Navarro

  6209-6216

  2023-06-26

• Abstract Argumentation Framework with Conditional Preferences

  Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

  6218-6227

  2023-06-26

• Reactive Synthesis of Dominant Strategies

  Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

  6228-6235

  2023-06-26

• Complexity of Safety and coSafety Fragments of Linear Temporal Logic

  Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

  6236-6244

  2023-06-26

• Automatically Verifying Expressive Epistemic Properties of Programs

  Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

  6245-6252

  2023-06-26

• The Effect of Preferences in Abstract Argumentation under a Claim-Centric View

  Michael Bernreiter, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran

  6253-6261

  2023-06-26

• The Parameterized Complexity of Network Microaggregation

  Václav Blažej, Robert Ganian, Dušan Knop, Jan Pokorný, Šimon Schierreich, Kirill Simonov

  6262-6270

  2023-06-26

• SMT Safety Verification of Ontology-Based Processes

  Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

  6271-6279

  2023-06-26

• Epistemic Disjunctive Datalog for Querying Knowledge Bases

  Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

  6280-6288

  2023-06-26

• Learning Logic Programs by Discovering Where Not to Search

  Andrew Cropper, Céline Hocquette

  6289-6296

  2023-06-26

• From Width-Based Model Checking to Width-Based Automated Theorem Proving

  Mateus de Oliveira Oliveira, Farhad Vadiee

  6297-6304

  2023-06-26

• Model-Checking for Ability-Based Logics with Constrained Plans

  Stéphane Demri, Raul Fervari

  6305-6312

  2023-06-26

• A Structural Complexity Analysis of Synchronous Dynamical Systems

  Eduard Eiben, Robert Ganian, Thekla Hamm, Viktoriia Korchemna

  6313-6321

  2023-06-26

• Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

  Wolfgang Faber, Michael Morak

  6322-6329

  2023-06-26

• Reachability Games Modulo Theories with a Bounded Safety Player

  Marco Faella, Gennaro Parlato

  6330-6337

  2023-06-26

• Splitting Answer Set Programs with Respect to Intensionality Statements

  Jorge Fandinno, Yuliya Lierler

  6338-6345

  2023-06-26

• Monitoring Arithmetic Temporal Properties on Finite Traces

  Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler

  6346-6354

  2023-06-26

• Untangled: A Complete Dynamic Topological Logic

  David Fernández-Duque, Yoàv Montacute

  6355-6362

  2023-06-26

• Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity

  Johannes K. Fichte, Markus Hecher, Stefan Szeider

  6363-6371

  2023-06-26