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 71 bis 80 von 578
  1. Éva Székely; Ingmar Steiner; Zeeshan Ahmed; Julie Carson-Berndsen

    Facial Expression-based Affective Speech Translation

    In: Journal on Multimodal User Interfaces (JMUI), Vol. 8, No. 1, Pages 87-96, Springer, 3/2014.

  2. Anton Bißbort; Christina Di Valentin; Andreas Emrich; Peter Loos

    Konzeption eines Collaborative Filtering Algorithmus für E-Learning-Szenarien

    In: Leena Suhl; Dennis Kundisch (Hrsg.). Tagungsband der Multikonferenz Wirtschaftsinformatik. Multikonferenz Wirtschaftsinformatik (MKWI-14), …

  3. Heinz Riener; Oliver Keszocze; Rolf Drechsler; Görschwin Fey

    A Logic for Cardinality Constraints

    In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop …

  4. Mathias Soeken; Max Nitze; Rolf Drechsler

    Formale Methoden für Alle

    In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von …

  5. Aljoscha Windhorst; Hoang M. Le; Daniel Grosse; Rolf Drechsler

    Funktionale Abdeckungsanalyse von C-Programmen

    In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop …

  6. Julian Krumeich; Dirk Werth; Peter Loos

    Interactive Process Discovery and Improvement in People-Driven Business Processes

    In: Leena Suhl; Dennis Kundisch; Lars Beckmann (Hrsg.). Tagungsband Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014). Multikonferenz …

  7. Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler

    Hohe Testmengenkompaktierung durch formale Optimierungstechniken

    In: ITG/GI/GMM-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - Proceedings. GI/GMM/ITG Workshop Testmethoden und …

  8. Bertold Bongardt

    Geometric Characterization of the Workspace of Non-Orthogonal Rotation Axes

    In: Journal of Geometric Mechanics (JGM), Vol. 6, No. 2, Pages 141-166, AIMS and CSIC, 2014.

  9. Christina Di Valentin; Andreas Emrich; Dirk Werth; Peter Loos

    Architecture Design of a Hybrid Recommender System in E-Learning Scenarios

    In: Proceedings of the 7th IADIS International Conference on Information Systems. IADIS International Conference on Information Systems (IADIS-14), …

  10. Ronny Hartanto; Markus Eich

    Reliable, Cloud-based Communication for Multi-Robot Systems

    In: The 6th Annual IEEE International Conference on Technologies for Practical Robot Applications. IEEE International Conference on Technologies for …