Skip to main content Skip to main navigation

Publications

Displaying results 3191 to 3200 of 14779.

  1. Mathias Soeken; Julia Seiter; Rolf Drechsler

    Coverage of OCL Operation Specifications and Invariants

    In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests & Proofs (TAP-2015), 9th, July 22-24, L'Aquila, Italy, Lecture Notes in Computer Science (LNCS), Vol. 9154, ISBN 978-3-319-21214-2, Springer, 2015.

  2. Hassan Issa; Alaa Shafaee; Stefan Agne; Stephan Baumann; Andreas Dengel

    User-Sentiment Based Evaluation for Market Fitness Trackers

    In: MONITORING, ACCESSIBILITY AND USER INTERFACES. International Conference on Information and Communication Technologies for Ageing Well and e-Health (ICT4AgeingWell-15), May 20-22, Lissabon, Portugal, SCITEPRESS Digital Library, 2015.

  3. Peter Loos; Peter Fettke; Jürgen Walter; Tom Thaler; Peyman Ardalani

    Identification of Business Process Models in a Digital World

    In: Jan vom Brocke; Theresa Schmiedel (Hrsg.). BPM - Driving Innovation in a Digital World. Pages 155-174, ISBN 978-3-319-14429-0, Springer, 2015.

  4. Serge Autexier; Dieter Hutter

    Structure Formation in Large Theories

    In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July 13-17, Washington, DC, USA, Lecture Notes on Artificial Intelligence (LNAI), Springer, 7/2015.

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

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

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

  8. Sergey Sosnovsky; Michael Dietrich; Eric Andres; Giorgi Goguadze; Stefan Winterstein; Paul Libbrecht; Jörg Siekmann; Erica Melis

    Math-Bridge: Closing Gaps in European Remedial Mathematics with Technology-Enhanced Learning

    In: Thomas Wassong; Daniel Frischemeier; Pascal R. Fischer; Reinhard Hochmuth; Peter Bender. Mit Werkzeugen Mathematik und Stochastik lernen - Using Tools for Learning Mathematics and Statistics. Chapter 31, Pages 437-451, Springer, 2014.

  9. Sergey Sosnovsky; Michael Dietrich; Eric Andres; Giorgi Goguadze; Stefan Winterstein

    Math-Bridge: adaptive platform for multilingual mathematics courses

    In: Andrew Ravenscroft; Stefanie N. Lindstaedt; Carlos Delgado Kloos; Davinia Hernandez Leo (Hrsg.). 21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning Proceedings. European Conference on Technology Enhanced Learning (EC-TEL-2012), 7th, September 18-21, Saarbrücken, Germany, Springer, 2012.

  10. Dimitra Tsovaltzi; Bruce McLaren; Erica Melis; Ann-Kristin Thurner; Michael Dietrich; Giorgi Goguadze

    Learning from Erroneous Examples

    In: Vincent Aleven; Judy Kay; Jack Mostow (Hrsg.). Proceedings of the 10th International Conference Intelligent Tutoring Systems - Bridges to Learning. International Conference on Intelligent Tutoring Systems (ITS-2010), 10th, June 14-18, Pittsburgh, PA, USA, Pages 420-422, LNCS, Vol. 6094 and 6095, Springer, 6/2010.

Year

More options