Skip to main content Skip to main navigation

Publications

Displaying results 1801 to 1810 of 15217.

  1. Jindřich Helcl; Jindřich Libovický

    Neural Monkey: An Open-source Tool for Sequence Learning

    In: Prague Bulletin of Mathematical Linguistics, Vol. 107, Pages 1-11, Charles University, 2017.

  2. Schmucker M; Yildirim K; Christoph Igel; Haag Martin

    Wearable Technology in Medicine: Machine-to-Machine (M2M) Communication in Distributed Systems.

    In: Studies in health technology and informatics, Pages 225-229, IOS Press, 8/2016.

  3. Jan Hendrik Metzen

    Active Contextual Entropy Search

    In: 8th Workshop on Optimization for Machine Learning (OPT 2015). Workshop on Optimization for Machine Learning (OPT-2015), located at NeurIPS 2015, December 11, Montreal, Canada, 12/2015.

  4. Manolis Mavrikis; Toby Dragon; Bruce McLaren

    The design of wizard-of-oz studies to support students’ learning to learn together

    In: o.A. (Hrsg.). Submitted to the Workshop on Intelligent Support for Exploratory Environments 2012: Exploring, Collaborating and Learning Together. International Conference on Intelligent Tutoring Systems (ITS), June 14-18, Chania, Greece, 2012.

  5. D. Tsovaltzi; Bruce McLaren; Erica Melis; A.-K. Meyer; Michael Dietrich; Giorgi Goguadze

    Learning from Erroneous Examples

    In: V. Aleven; J. Kay; J. Mostow (Hrsg.). Proceedigns of Intelligent Tutoring Systems. International Conference on Intelligent Tutoring Systems (ITS), June 14-18, Pittsburgh, Pennsylvania, USA, Springer, Berlin, 2010.

  6. Thomas Röfer; Tim Laue; Jesse Richter-Klug; Maik Schünemann; Jonas Stiensmeier; Andreas Stolpmann; Alexander Stöwing; Felix Thielke

    B-Human Team Report and Code Release 2015

    2015.

  7. Frederik Wiehr; Alexandra Voit; Dominik Weber; Sven Gehring; Christoph Witte; Daniel Kärcher; Niels Henze; Antonio Krüger

    Challenges in Designing and Implementing Adaptive Ambient Notification Environments

    In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. International Conference on Ubiquitous Computing (Ubicomp-16), September 12-16, Heidelberg, Germany, Pages 1578-1583, UbiComp '16, ISBN 978-1-4503-4462-3, ACM, New York, NY, USA, 2016.

  8. Alexandra Voit; Benjamin Poppinga; Dominik Weber; Matthias Böhmer; Niels Henze; Sven Gehring; Tadashi Okoshi; Veljko Pejovic

    UbiTtention: Smart and Ambient Notification and Attention Management

    In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. International Conference on Ubiquitous Computing (Ubicomp-16), September 12-16, Heidelberg, Germany, Pages 1520-1523, UbiComp '16, ISBN 978-1-4503-4462-3, ACM, New York, NY, USA, 2016.

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

  10. Amr Sayed Ahmed; Daniel Große; Mathias Soeken; Rolf Drechsler

    Equivalence Checking Using Gröbner Bases

    In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, USA, 2016.

Year

More options