Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2014
Alle Filter entfernen
Zeige Ergebnisse 111 bis 120 von 578

  1. Fritjof Bornebusch; Glaucia Cancino; Melanie Diepenbeck; Rolf Drechsler; Smith Djomkam; Alvine Fanseu; Maryam Jalali; Marc Michael; Jamal Mohsen; Max Nitze; Christina Plump; Mathias Soeken; Fred Tchambo; Toni Ziegler; Henning Ziegler

    iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries

    In: International Workshop on Semantic Evaluation - Proceedings. International Workshop on Semantic Evaluation (SemEval-14), 7th and 8th, August …

  2. Mathias Soeken; Nabila Abdessaied; Rolf Drechsler

    A framework for reversible circuit complexity

    In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14), 11th, September 17-19, Freiberg, …

  3. Christina Di Valentin; Andreas Emrich; Johannes Lahann; Michael Schmidt; Uta Schwertel; Dirk Werth; Peter Loos

    Adaptive Recommendations to foster Social Media Skills in Teaching and Learning Scenarios

    In: Proceedings of the International Conference on Knowledge Technologies and Data-driven Business. International Conference on Knowledge Technologies …

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

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

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

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

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

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

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

Jahr