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 609
  1. Serge Autexier; Dominik Dietrich; Marvin Schiller

    Towards an Intelligent Tutor for Mathematical Proofs

    In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012.

  2. Sviatlana Danilava; Stephan Busemann; Christoph Schommer

    Artificial Conversational Companions. Requirement Analysis

    In: 4th International Conference on Agents and Artificial Intelligence (ICAART). International Conference on Agents and Artificial Intelligence …

  3. Holger Täubig; Udo Frese

    A New Library for Real-time Continuous Collision Detection

    In: Proceedings of the 7th German Conference on Robotics. German Conference on Robotics (ROBOTIK-2012), May 21-22, Munich, Germany, Pages 108-112, …

  4. Peter Kampmann; Frank Kirchner

    A Tactile Sensing System for Underwater Manipulation

    In: Proceedings of the workshop on: Advances in Tactile Sensing and Touch based Human-Robot Interaction to be held in conjunction with the 7th …

  5. Alexandra Theobalt; Andreas Emrich; Marc Gräßle; Dirk Werth; Peter Loos

    Business models for mobile applications

    In: Bebo White; Pedro Isaías (Hrsg.). Proceedings of the IADIS International Conference WWW/Internet 2012. IADIS International Conference WWW/Internet …

  6. Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler

    Behavior Driven Development for Circuit Design and Verification

    In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design …

  7. Tobias Gerber; Alfred Theorin; Charlotta Johnsson

    Towards a seamless integration between process modeling descriptions at Business and Production levels - work in progress

    In: Tobias Gerber; Alfred Theorin; Charlotta Johnsson (Hrsg.). Proceedings of the 14th IFAC Symposium on Information Control Problems in …

  8. Jochen Grün; Tobias Gerber; Thorsten Herfet

    Multi-Reality Interfaces - Remote Monitoring and Maintenance in modular Factory Environments

    In: Jochen Grün; Tobias Gerber; Thorsten Herfet (Hrsg.). Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing …

  9. Nico Krivograd; Peter Fettke

    Development of a Generic Tool for the Application of Maturity Models - Results from a Design Science Approach

    In: Jr. Ralph H. Sprague (Hrsg.). Proceedings of the 45th Annual Hawaii International Conference on System Sciences. Hawaii International Conference …

  10. Robert Wille; Rolf Drechsler; Christof Oswald; Alberto Garcia-Ortiz

    Automatic Design of Low-Power Encoders Using Reversible Circuit Synthesis

    In: Conference Proceedings Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.