Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2012
Remove all filters
Displaying results 101 to 110 of 608.

  1. Michael Jahn; Martin Schröer; Yong-Ho Yoo; Mehmed Yüksel; Frank Kirchner

    Concept of Actuation and Control for the EO Smart Connecting Car (EO scc)

    In: Proceedings of International Conference on Intelligent Robotics and Applications. International Conference on Intelligent Robotics and Applications (ICIRA-12), October 3-5, Montreal, Québec, Canada, Pages 87-98, Vol. 7506, ISBN 978-3-642-33508-2, Springer, 10/2012.

  2. Ronny Hartanto; May Reinecke; Volker Viereck; Gudrun Tschirner-Vinke

    marion - Produktivitätsoptimierung und dynamische Fahrwegsplanung für Intralogistik und Landwirtschaft

    In: Productivity Management, Vol. 1/2012, Pages 62-62, GITO mbH - Verlag für industrielle Informationstechnik und Organisation, 3/2012.

  3. Thomas Röfer; Tim Laue; Judith Müller; Colin Graf; Arne Böckmann; Thomas Münder

    B-Human Team Description for RoboCup 2012

    In: Xiaoping Chen; Peter Stone; Luis Enrique Sucar; Tijn van der Zant (Hrsg.). RoboCup 2012: Robot Soccer World Cup XVI Preproceedings. RoboCup International Symposium (RoboCup-2012), June 18-24, Mexico-Stadt, Mexico, RoboCup Federation, 2012.

  4. Walter Kasper; Mihaela Vela

    Monitoring and Summarization of Hotel Reviews

    In: M. Fuchs; F. Ricci; L. Cantoni (Hrsg.). Information and Communication Technologies in Tourism 2012. eTourism Present and Future Services and Applications (ENTER-2012), January 24-27, Helsingborg, Sweden, Springer, Heidelberg, 1/2012.

  5. 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 on System Sciences (HICSS-45), January 4-7, Maui, Hawaii, USA, Pages 4326-4335, ISBN 9781457719257, The Institute of Electrical and Electronics Engineers, Inc. 1/2012.

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

  7. Finn Haedicke; Daniel Große; Rolf Drechsler

    A Guiding Coverage Metric for Formal Verification

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

  8. Mathias Soeken; Robert Wille; Rolf Drechsler

    Eliminating Invariants in UML/OCL Models

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

  9. Robert Wille; Mathias Soeken; Rolf Drechsler

    Debugging of Inconsistent UML/OCL Models

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

  10. Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler

    Synthesis of Reversible Circuits with Minimal Lines for Large Functions

    In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, Australia, 2012.

Year