Skip to main content Skip to main navigation

Publications

Displaying results 1071 to 1080 of 15161.

  1. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

    Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

    In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.

  2. Pascal Reuß; Rotem Stram; Cedric Juckenack; Klaus-Dieter Althoff; Wolfram Henkel; Daniel Fischer; Frieder Henning

    FEATURE-TAK - Framework for Extraction, Analysis, and Transformation of Unstructured Textual Aircraft Knowledge

    In: Ashok Goal; Belen Diaz-Agudo; Thomas Roth-Berghofer (Hrsg.). Case-based Reasoning in Research and Development. International Conference on Case-Based Reasoning (ICCBR-2016), 24th, October 31 - November 2, Atlanta, Georgia, USA, LNCS, Springer, Berlin Heidelberg, 2016.

  3. Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler

    Integrating an SMT-based Model Finder into USE

    In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13), Saint-Malo, France, 2016.

  4. Josef Burgard

    Bestandsaufnahme Bildungsberatung

    In: BMBF (Hrsg.). Magazin für das Programm "Lernen vor Ort" - Werkstattbericht Bildungsberatung, Vol. unbekannt, Page 15, DLR Bonn, 2011.

  5. Peter Fettke

    TaxTech- Die vierte Disziplin der Steuerwissenschaft

    In: Prof. Dr. Dr. h.c. Wolfgang Ballwieser; Prof. Dr. Johanna Hey; Prof. Dr. h.c. Rudolf Mellinghoff; Friedrich Merz (Hrsg.). Der Betrieb (TaxTech), Vol. 01/2018, Pages 19-24, Handelsblatt Fachmedien, Düsseldorf, 1/2018.

  6. Christoph Igel; Roberta Sturm

    Online-Portal für zukünftige Unternehmensberater im IT-, HR- und eLearning-Umfeld.

    In: IM - Fachzeitschrift für Information Management & Consulting, Vol. 26(3). Pages 71-75, IMC, Saarbrücken, 2011.

  7. Tim Schwartz; Hans-Ulrich Krieger; Ingo Zinnikus; Christian Bürckert; Joachim Folz; Bernd Kiefer; Peter Hevesi; Christoph Lüth; Gerald Pirkl; Torsten Spieldenner; Norbert Schmitz; Malte Wirkus; Sirko Straube

    Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents

    In: Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokhar; Sebastian Ahrndt (Hrsg.). Proceedings of the 14th German Conference on Multiagent System Technologies (Mates 2016). German Conference on Multiagent System Technologies (MATES-2016), September 27-30, Klagenfurt, Austria, Pages 131-146, Lecture Notes in Artificial Intelligence (LNAI), Vol. 9872, Springer, 9/2016.

  8. Claus-Peter Wirth

    Human-Oriented Inductive Theorem Proving by Descente Infinie - A manifesto.

    In: Logic Journal of the IGPL Oxford, Vol. 20, Oxford University Press. 12/2012.

  9. Roberta Sturm; Christoph Igel

    Learning Management an Hochschulen: Plädoyer für eine prozessorientierte Betrachtung am Beispiel der Einführung von CLIX Campus im Saarland.

    In: A. Degkwitz; F. Klapper (Hrsg.). Prozessorientierte Hochschule. Allgemeine Aspekte und Praxisbeispiele. Pages 146-154, Bock & Herchen, 2011.

  10. Vladislav Golyanik; Aman Shankar Mathur; Didier Stricker

    NRSfM-Flow: Recovering Non-Rigid Scene Flow from Monocular Image Sequences

    In: Proceedings of the British Machine Vision Conference 2016. British Machine Vision Conference (BMVC-16), September 19-22, York, United Kingdom, BMVA Press, 2016.

Year

More options