Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 507.
  1. Serge Autexier; Pedro Quaresma

    Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

    In: Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, 2017.

  2. Thierry Declerck; Carole Tiberius; Eveline Wandl-Vogt

    Encoding lexicographic Data in lemon: Lessons learned

    In: John P. McCrae; Francis Bond; Paul Buitelaar; Philipp Cimiano; Thierry Declerck; Jorge Gracia; Ilan Kernerman; Elena Montiel Ponsoda; Noam Ordan; …

  3. Vladislav Golyanik; Mitra Nasri; Didier Stricker

    Towards Scheduling Hard Real-Time Image Processing Tasks on a Single GPU

    In: International Conference on Image Processing. IEEE International Conference on Image Processing (ICIP-17), September 17-20, Beijing, China, …

  4. Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration)

    In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17. International Joint Conference on Artificial …

  5. Pascal Lessel; Maximilian Altmeyer; Marc Müller; Christian Wolff; Antonio Krüger

    Measuring the Effect of "Bottom-up" Gamification in a Microtask Setting

    In: Proceedings of the 21st International Academic Mindtrek Conference. Academic MindTrek Conference (MindTrek-17), 21st, September 20-21, Tampere, …

  6. Havard Heitlo Holm; Volkan Gezer; Setia Hermawati; Christian Altenhofen; Jon M. Hjelmervik

    The CloudFlow Infrastructure for Multi-Vendor Engineering Workflows

    In: International Journal on Advances in Internet Technology (IntTech), Vol. 10, No. 1&2, Pages 23-35, IARIA, 7/2017.

  7. Volkan Gezer; Simon Bergweiler

    Cloud-based Infrastructure for Workflow and Service Engineering Using Semantic Web Technologies

    In: International Journal on Advances in Internet Technology (IntTech), Vol. 10, No. 1 & 2, Pages 36-45, IARIA, 6/2017.

  8. Arle Lommel; Aljoscha Burchardt

    Quality Management for Translation

    In: Jörg Porsiel (Hrsg.). Machine Translation. Chapter 9, ISBN 9783938430934, BDÜ Weiterbildungs- und Fachverlagsgesellschaft mbH, Berlin, 2017.

  9. Kimberley Harris; Aljoscha Burchardt

    Improving Machine Translation: The Gap Between Research Approaches and Industry Needs

    In: Jörg Porsiel (Hrsg.). Machine Translation. Chapter 8, ISBN 9783938430934, BDÜ Weiterbildungs- und Fachverlagsgesellschaft mbH, Berlin, 2017.