• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 2010 AAAI Spring Symposium /

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

Primary Sidebar