Skip to main content Skip to main navigation

Publications

Displaying results 111 to 120 of 578.
  1. Martin Ring; Christoph Lüth

    Collaborative Interactive Theorem Proving with Clide

    In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at Vienna Summer of Logic, July 14-17, Wien, Austria, Pages 467-482, Lecture Notes in Computer Science (LNCS), Vol. 8558, Springer Verlag, 7/2014.

  2. Jakob Schwendner; Frank Kirchner

    Space Robotics: An Overview of Challenges, Applications and Technologies

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 28, No. 2, Pages 67-69, Springer, 6/2014.

  3. Martin Mallwitz; Luis Manuel Vaca Benitez; Bertold Bongardt; Niels Will

    The CAPIO Active Upper Body Exoskeleton

    In: Workshop Proceedings of the IEEE International Conference on Robotics and Automation 2014. IEEE International Conference on Robotics and Automation (ICRA-2014), May 31 - June 5, Hong Kong, China, 6/2014.

  4. Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille

    Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

    In: International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14), 8th, July 24-25, York, United Kingdom, 2014.

  5. Hoang M. Le; Rolf Drechsler

    CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC

    In: Design and Verification Conference - Proceedings. Design and Verification Conference (DVCon Europe-15), October 14-15, München, Germany, nnn, 2014.

  6. Michael Schmidt; Uta Schwertel; Christina Di Valentin; Andreas Emrich; Dirk Werth

    The Social Navigator: A Personalized Learning Platform for Social Media Education

    In: Proceedings of the 9th European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-14), 9th, September 16-19, Graz, Austria, Springer, 2014.

  7. Alaa Shafaee; Hassan Issa; Stefan Agne; Stephan Baumann; Andreas Dengel

    Aspect-Based Sentiment Analysis of Amazon Reviews for Fitness Tracking Devices

    In: LNCS/LNAI post Proceedings of PAKDD 2014. Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-14), 18th, May 13-16, Tainan, Taiwan, Province of China, Springer, 7/2014.

  8. Tiago Hormigo; Clement Gu; Tobias Lutz; Stanislav Gardecki; Florian Cordes; Anton Böljes; Joerg Bolz; Peter De Maagt

    StarTiger Dropter Project: Integrated, Closed-Loop Vision-Aided Navigation with Hazard Detection and Avoidance

    In: Proceedings of the ESA GNC 2014: 9th International ESA Conference on Guidance, Navigation and Control Systems. International ESA Conference on Guidance, Navigation and Control Systems (GNC-2014), 9th, June 2-6, Porto, Portugal, ESA, 6/2014.

  9. SHIP: Semantic Integration of Heterogenous Processes

    Abschlußbericht BMBF, BMBF, DFKI Final Reports (FR), Vol. noch nicht bestimmt. 5/2014.

  10. Bernardo Magnini; Roberto Zanoli; Ido Dagan; Kathrin Eichler; Günter Neumann; Tae-Gil Noh; Sebastian Pado; Asher Stern; Omer Levy

    The Excitement Open Platform for Textual Inferences

    In: Proceedings of the ACL 2014 System Demonstrations. Annual Meeting of the Association for Computational Linguistics (ACL-2014), June 23-25, Baltimore, Maryland, USA, ACL, 6/2014.