Skip to main content Skip to main navigation

Publications

Displaying results 1411 to 1420 of 15141.

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

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

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

  4. André Zenner

    Investigating Weight Distribution in Virtual Reality Proxy Interaction

    Master-Thesis, DFKI & Saarland University, Tech-Report, Vol. 1, 1/2016.

  5. Gunter Lassmann; Georg Rock; Matthias Schwan; Lassaad Cheikhrouhou

    Verisoft secure biometric identification system

    In: Paul J. J. Welfens; Ellen Walther-Klaus. Digital Excellence, University Meets Economy. Pages 83-97, ISBN 978-3-540-72620-3, Springer, Berlin Heidelberg, 2008.

  6. Niel Alejandro Paz Hernández; Peter Hevesi; Marco Hirsch; Paul Lukowicz (Hrsg.)

    Towards Real-Time Monitoring and Remote Management of Construction Sites

    Smart Offices and Other Workplaces (SOOW-2018), located at The 14th International Conference on Intelligent Environments, Ambient Intelligence and Smart Environments, Vol. 23, ISBN 978-1-61499-873-0, IOS Press, 2018.

  7. Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan; Frank Koob; Georg Rock

    Automating Interactive Protocol Verification

    In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, ISBN 978-3-540-85844-7, Springer, Berlin, Heidelberg, 2008.

  8. Mauro Dragoni; Diego Reforgiato Recupero; Kerstin Denecke; Yihan Deng; Thierry Declerck (Hrsg.)

    Joint Proceedings of the 2th Workshop on Emotions, Modality, Sentiment Analysis and the Semantic Web and the 1st International Workshop on Extraction and Processing of Rich Semantics from Medical Texts

    International Workshop on Extraction and Processing of Rich Semantics from Medical Texts (RichMedSem-16), located at 13th International European Semantic Web Conference (ESWC), May 29-28, Heraklion, Greece, Vol. 1613, CEURS, 6/2016.

  9. Oliver Scheuer; Bruce McLaren; F. Loll; Pinkwart N.

    Automated Analysis and Feedback Techniques to Support and Teach Argumentation: A Survey.

    In: N. Pinkwart; Bruce McLaren (Hrsg.). Educational Technologies for Teaching Argumentation Skills. Bentham Science Publishers, 2012.

  10. Oliver Scheuer; Bruce McLaren

    Educational Data Mining.

    In: Norbert M. Seel (Hrsg.). Encyclopedia of the Sciences of Learning. Pages 1075-1079, ISBN 978-1-4419-1427-9, Springer, New York, 2012.

Year

More options