Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2007
Remove all filters
Displaying results 101 to 110 of 183.

  1. 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 …

  2. 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. …

  3. 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 …

  4. 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 …

  5. 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), …

  6. 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 …

  7. 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 …

  8. 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), …

  9. John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski

    Ontological Modularity and Spatial Diversity

    In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.

  10. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …

Year