No. 4: Embedded Reasoning

All Papers

• Stream-Based Middleware Support for Embedded Reasoning

  Fredrik Heintz, Jonas Kvarnström, Patrick Doherty

  PDF

• An Exact Dynamic Programming Solution for a Decentralized Two-Player Markov Decision Process

  Jeff Wu, Sanjay Lall

  PDF

• Automatic Synthesis of Robust Embedded Control Software

  Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray

  PDF

• Embedded Rule-Based Reasoning for Digital Product Memories

  Christian Seitz, Steffen Lamparter, Thorsten Schoeler, Michael Pirker

  PDF

• Actor-Critic Policy Learning in Cooperative Planning

  Joshua Redding, Alborz Geramifard, Jonathan How

  PDF

• POMDP Models for Continuous Calibration of Interactive Surfaces

  Bastian Migge, Tim Schmidt, Andreas Kunz

  PDF

• Continual On-line Planning as Decision-Theoretic Incremental Heuristic Search

  Seth Lemons, J. Benton, Wheeler Ruml, Minh Do, Sungwook Yoon

  PDF

• Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults

  Lukas Daniel Kuhn, Johan de Kleer

  PDF

• Sensor-to-Symbol Reasoning for Embedded Intelligence

  David Kortenkamp, Scott Bell, Nick Cassimatis

  PDF

• Learning Maps of Indoor Environments Based on Human Activity

  Slawomir Grzonka, Frederic Dijoux, Andreas Karwath, Wolfram Burgard

  PDF

• Implementation of Neural Network on Parameterized FPGA

  Alexander Gomperts, Abhisek Ukil, Franz Zurfluh

  PDF

• Embedded Reasoning for Atmospheric Science Using Unmanned Aircraft Systems

  Eric W. Frew, Brian Argrow

  PDF

• Complex AI on Small Embedded Systems: Humanoid Robotics using Mobile Phones

  Jacky Baltes, John Eric Anderson

  PDF

• Assisted Highway Lane Changing with RASCL

  Richard Oliver Frankel, Olafur Gudmundsson, Brett Miller, Jordan Potter, Todd Sullivan, Salik Syed, Doreen Hoang, Jae min John, Ki-Shui Liao, Pasha Nahass, Amanda Schwab, Jessica Yuan, David Stavens, Christian Plagemann, Clifford Nass, Sebastian Thrun

  PDF

• Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems

  Alexander Ferrein

  PDF

• Finding the Odd-One-Out in Fleets of Mechatronic Systems using Embedded Intelligent Agents

  Stefan Byttner, Magnus Svensson, Thorsteinn Rögnvaldsson

  PDF

• Autonomous and Semiautonomous Control Simulator

  Chad Raymond Burns, Joseph Zearing, Ranxiao Frances Wang, Dusan Stipanovic

  PDF