Skip to main content Skip to main navigation

Publications

Displaying results 1571 to 1580 of 15150.
  1. Investigating Weight Distribution in Virtual Reality Proxy Interaction

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

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

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

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

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

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

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

  8. Beata Turonova; Lukas Marsalek; Philipp Slusallek

    On geometric artifacts in cryo electron tomography

    In: Ultramicroscopy, Vol. 163, Pages 48-61, Elsevier B.V. 4/2016.

  9. Smart Factory Systems – Fostering Cloud-based Manufacturing based on Self-Monitoring Cyber-Physical Systems

    In: International Journal on Advances in Systems and Measurements, Vol. 9, No. 1 & 2, Pages 91-101, IARIA, 7/2016.

  10. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study

    In: Forum on specification & Design Languages. Forum on Specification & Design Languages (FDL), September 14-16, Bremen, Germany, 2016.