Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 370.

  1. Klaus Lüttich; Till Mossakowski

    Reasoning Support for CASL with Automated Theorem Proving Systems

    In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, Belgium, Pages 74-91, Vol. 4409, Springer-Verlag, Heidelberg, 2007.

  2. Christoph Lüth; Bernd Krieg-Brückner

    Sicherheit in der Künstlichen Intelligenz

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1, Pages 51-52, BöttcherIT Verlag, Bremen, 2007.

  3. David Aspinall; Christoph Lüth; Daniel Winterstein

    A Framework for Interactive Proof

    In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007), June 27-30, Hagenberg, Australia, Pages 161-175, Lecture Notes in Artificial Intelligence (LNAI), Vol. 4573, Springer, 2007.

  4. Michael Kohlhase; Achim Mahnke; Christine Müller

    Managing Variants in Document Content and Narrative Structures

    In: Alexander Hinneburg (Hrsg.). Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. GI-Workshop-Tage "Lernen, Wissen, Adaptivität" (LWA-07), September 24-26, Halle/ Saale, Germany, ISBN 978-3-86010-907-6, 2007.

  5. Tim Laue; Thomas Röfer

    Particle Filter-based State Estimation in a Competitive and Uncertain Environment

    In: Proceedings of the 6th International Workshop on Embedded Systems. International Workshop on Ambient Intelligence and Embedded Systems (IWES-2007), 6th, September 6-7, Vaasa, Finland, VAMK, University of Applied Sciences, Vaasa, Finland, 2007.

  6. Christian Mandel; Udo Frese; Thomas Röfer

    Design Improvements for Proportional Control of Autonomous Wheelchairs Via 3DOF Orientation Tracker

    In: Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN'2007). International Work-Conference on Artificial Neural Networks (IWANN-2007), June 20-22, San Sebastián, Spain, Lecture Notes in Computer Science, Springer, Berlin, 2007.

  7. Christian Mandel; Thomas Röfer; Udo Frese

    Applying a 3DOF Orientation Tracker as a Human-Robot Interface for Autonomous Wheelchairs

    In: Proceedings of the 10th International Conference on Rehabilitation Robotics. IEEE International Conference on Rehabilitation Robotics (ICORR-07), June 13-15, Noordwijk, Netherlands, ISBN 1-4244-1320-6, IEEE, 2007.

  8. Cord Niehaus; Thomas Röfer; Tim Laue

    Gait Optimization on a Humanoid Robot using Particle Swarm Optimization

    In: Changjiu Zhou; Enrico Pagello; Emanuele Menegatti; Sven Behnke (Hrsg.). Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots. Workshop on Humanoid Soccer Robots (Humanoids-07), located at 2007 IEEE-RAS International Conference on Humanoid Robots, November 29 - December 1, Pittsburgh, Pennsylvania, USA, 2007.

  9. Kai Hübner

    Object Description and Decomposition by Symmetry Hierarchies

    In: Vaclav Skala (Hrsg.). WSCG 2007 Short Paper Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG-2007), 15th, January 29 - February 1, Plzen-Bory, Czech Republic, Pages 125-132, ISBN 978-80-86943-02-2, UNION Agency - Science Press, Plzen, Czech Republic, 2007.

  10. Udo Frese

    Efficient 6-DOF SLAM with Treemap as a Generic Backend

    In: Proceedings of the International Conference on Robotics and Automation, Rome. IEEE International Conference on Robotics and Automation (ICRA-07), April 10-14, Rome, Italy, 2007.

Jahr