Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 533
  1. Andrei Popescu-Belis; Jonathan Kilgour; Peter Poller

    A multimedia retrieval system using speech input

    In: Proceedings of the 2009 international conference on Multimodal interfaces. International Conference on Multimodal Interfaces (ICMI-2009), November …

  2. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank-1 Modal Logics

    In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.

  3. Lutz Schröder; Till Mossakowski

    HasCASL: Integrated Higher-Order Specification and Program Development

    In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.

  4. Dennis Pachur; Tim Laue; Thomas Röfer

    Real-time Simulation of Motion-based Camera Disturbances

    In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII. RoboCup International …

  5. Benjamin Adrian; Heiko Maus; Andreas Dengel

    iDocument: Using Ontologies for Extracting Information from Text

    In: Barbara Thönssen (Hrsg.). WM2009: 5th Conference on Professional Knowledge Management. Conference on Professional Knowledge Management (WM-09), …

  6. Benjamin Adrian; Heiko Maus; Malte Kiesel; Andreas Dengel

    Towards Ontology-based Information Extraction and Annotation of Paper Documents for Personalized Knowledge Acquisition

    In: Knut Hinkelmann; Holger Wache (Hrsg.). WM2009: 5th Conference on Professional Knowledge Management. Conference on Professional Knowledge …

  7. Jan Hendrik Metzen; Elsa Andrea Kirchner; Larbi Abdenebaoui; Frank Kirchner

    Learning to Play the BRIO Labyrinth Game

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  8. Philipp Walter

    Modellierung technischer Kundendienstprozesse des Maschinen- und Anlagenbaus als Bestandteil hybrider Produkte

    In: Oliver Thomas; M. Nüttgens (Hrsg.). Dienstleistungsmodellierung. Methoden, Werkzeuge und Branchenlösungen. Pages 129-145, Physica-Verlag, 2009.

  9. Pavlina Chikova; Katrina Leyking; Gunnar Martin

    Referenzmodellierte Authoring-Dienstleistungen

    In: Oliver Thomas; M. Nüttgens (Hrsg.). Dienstleistungsmodellierung. Methoden, Werkzeuge und Branchenlösungen. Pages 91-107, Physica-Verlag, 2009.

  10. Michele Folgheraiter; Bertold Bongardt; Steffen Schmidt; José de Gea Fernández; Jan Albiez; Frank Kirchner

    Design of an Arm Exoskeleton using an hybrid Motion-Capture and Model-Based Technique

    In: IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2009), May 12-17, Kobe, …