Search

Search Results

• A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints

  T. K. Satish Kumar, Duc Thien Nguyen, William Yeoh, Sven Koenig

  2014-06-21

• Structured Possibilistic Planning Using Decision Diagrams

  Nicolas Drougard, Florent Teichteil-Königsbuch, Jean-Loup Farges, Didier Dubois

  2014-06-21

• Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints

  Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Königsbuch

  2014-06-21

• Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty

  Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri

  2014-06-21

• Optimal Decoupling in Linear Constraint Systems

  Cees Witteveen, Michel Wilson, Tomas Klos

  2014-06-21

• A Relevance-Based Compilation Method for Conformant Probabilistic Planning

  Ran Taig, Ronen Brafman

  2014-06-21

• Planning as Model Checking in Hybrid Domains

  Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle

  2014-06-21

• Type-Based Exploration with Multiple Search Queues for Satisficing Planning

  Fan Xie, Martin Müller, Robert Holte, Tatsuya Imai

  2014-06-21

• Adding Local Exploration to Greedy Best-First Search in Satisficing Planning

  Fan Xie, Martin Müller, Robert Holte

  2014-06-21

• Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search

  Brian Coltin, Manuela Veloso

  2014-06-21

• Backdoors to Planning

  Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

  2014-06-21

• Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments

  Uwe Koeckemann, Federico Pecora, Lars Karlsson

  2014-06-21

• Solving the Traveling Tournament Problem by Packing Three-Vertex Paths

  Marc Goerigk, Richard Hoshino, Ken-ichi Kawarabayashi, Stephan Westphal

  2014-06-21

• Delivering Guaranteed Display Ads under Reach and Frequency Requirements

  Ali Hojjat, John Turner, Suleyman Cetintas, Jian Yang

  2014-06-21

• Solving Uncertain MDPs by Reusing State Information and Plans

  Ping Hou, William Yeoh, Tran Cao Son

  2014-06-21

• Generalized Label Reduction for Merge-and-Shrink Heuristics

  Silvan Sievers, Martin Wehrle, Malte Helmert

  2014-06-21

• Efficiently Implementing GOLOG with Answer Set Programming

  Malcolm Ryan

  2014-06-21

• Symbolic Domain Predictive Control

  Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel

  2014-06-21

• Oversubscription Planning: Complexity and Compilability

  Meysam Aghighi, Peter Jonsson

  2014-06-21

• A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures

  Amir Sadeghipour, Stefan Kopp

  2014-06-21

• Imitation Learning with Demonstrations and Shaping Rewards

  Kshitij Judah, Alan Fern, Prasad Tadepalli, Robby Goetschalckx

  2014-06-21

• Online Multi-Task Learning via Sparse Dictionary Optimization

  Paul Ruvolo, Eric Eaton

  2014-06-21

• HC-Search for Multi-Label Prediction: An Empirical Study

  Janardhan Rao Doppa, Jun Yu, Chao Ma, Alan Fern, Prasad Tadepalli

  2014-06-21

• On Boosting Sparse Parities

  Lev Reyzin

  2014-06-21

• Coactive Learning for Locally Optimal Problem Solving

  Robby Goetschalckx, Alan Fern, Prasad Tadepalli

  2014-06-21