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 71 bis 80 von 578

  1. Rolf Drechsler

    Reversible Circuits: An Overview on an Emerging Technology

    In: Workshop in Emerging and Post CMOS Technologies - Proceedings. Workshop in Emerging and Post CMOS Technologies, June 16-18, Shibpur, India, 2014.

  2. Shuo Yang; Robert Wille; Rolf Drechsler

    Improving Coverage of Simulation-based Verification by Dedicated Stimuli Generation

    In: Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-14), August 27-29, Verona, Italy, …

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

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

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

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

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

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

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

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

Jahr