Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 540.
  1. Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille

    Assisted Generation of Frame Conditions for Formal Models

    In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15), March 9-13, Grenoble, France, ISBN 978-3-9815370-4-8, 2015.

  2. Arighna Deb; Robert Wille; Rolf Drechsler; Debesh Das

    An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization

    In: 45th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2015), 45th, May 18-20, Waterloo, Canada, 2015.

  3. Pablo Garrido; Levi Valgaerts; Hamid Sarmadi; Ingmar Steiner; Kiran Varanasi; Patrick Perez; Christian Theobalt

    VDub -- Modifying face video of actors for plausible visual alignment to a dubbed audiotrack

    In: Computer Graphics Forum, Vol. 34, No. 2, Pages 193-204, Wiley, 5/2015.

  4. CRACKER: Cracking the Language Barrier

    In: Proceedings of the 18th Annual Conference of the European Association for Machine Translation (EAMT 2015). Annual Conference of the European Association for Machine Translation (EAMT-2015), 18th, May 11-13, Antalya, Turkey, Ankara, Turkey, 5/2015.

  5. Georg Rehm; Felix Sasaki

    Semantische Technologien und Standards für das mehrsprachige Europa

    In: Börteçin Ege; Bernhard Humm; Anatol Reibold (Hrsg.). Corporate Semantic Web. Springer, 2015.

  6. Philipp Gilka; Tom Schilling; Stefan Schaffer; Monika Pepikj

    Towards an intermodal router featuring cycle safety in Berlin

    In: ITS World Congress. ITS World Congress (ITS-15), October 5-9, Bordeaux, France, tba, 2015.

  7. Sebastian Krause; Enrique Alfonseca; Katja Filippova; Daniele Pighin

    Idest: Learning a Distributed Representation for Event Patterns

    In: Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Annual Conference of the North American Chapter of the Association for Computational Linguistics (HLT-NAACL-15), May 31 - June 5, Denver, Colorado, USA, The Association for Computational Linguistics, 2015.

  8. Tae-Gil Noh; Sebastian Padó; Vered Shwartz; Ido Dagan; Vivi Nastase; Kathrin Eichler; Lili Kotlerman; Meni Adler

    Multi-Level Alignments As An Extensible Representation Basis for Textual Entailment Algorithms

    In: Proceedings of *SEM 2015. Joint Conference on Lexical and Computational Semantics (*SEM-15), located at NAACL 2015, June 4-5, Denver, Colorado, USA, ACL, 2015.

  9. Lazaros Nalpantidis; Renaud Detry; Dima Damen; Gabriele Bleser; Maya Cakmak; Mustafa Suphi Erden

    Cognitive Robotics Systems - Concepts and Applications

    In: Journal of Intelligent & Robotic Systems (JIRS), Vol. June, Pages 1-3, Springer Netherlands, 6/2015.

  10. Nils Przigoda; Robert Wille; Rolf Drechsler

    Contradiction Analysis for Inconsistent Formal Models

    In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22-24, Belgrade, Serbia, 2015.