Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publikationen

Seite 102 von 108.

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

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

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

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

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

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

  8. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …

  9. Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder

    An Institutional View on Categorical Logic

    In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.

  10. Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)

    CALCO 2007. Second conference on algebra and coalgebra in computer science

    Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.

Kontakt

Assistenz der Leitung:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen