Skip to main content Skip to main navigation

Publications

Displaying results 1431 to 1440 of 15202.

  1. Raúl Domínguez; Sascha Arnold; Christoph Hertzberg; Arne Böckmann

    Internal Simulation for Autonomous Robot Exploration of Lava Tubes

    In: Automation and Robotics Proceedings of the 15th International Conference on Informatics in Control (Hrsg.). ICINCO 2018. International Conference on Informatics in Control, Automation and Robotics (ICINCO-2018), 15th, July 29-31, Porto, Portugal, Pages 144-155, Vol. 2, ISBN 978-989-758-321-6, SCITEPRESS, 7/2018.

  2. Oliver Keszöcze; Kenneth Schmitz; Jens Schloeter; Rolf Drechsler

    Improving SAT solving using Monte Carlo Tree Search-based Clause Learning

    In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, 2018.

  3. Kenneth Schmitz; Oliver Keszöcze; Jil Meywerk; Rolf Drechsler

    ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling

    In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, 2018.

  4. Volkan Gezer; Jumyung Um; Martin Ruskowski

    An Introduction to Edge Computing and A Real-Time Capable Server Architecture

    In: International Journal on Advances in Intelligent Systems (IARIA), Vol. 11, No. 1&2, Pages 105-114, IARIA, 7/2018.

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

    Extensible and Configurable RISC-V based Virtual Prototype

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2018), September 10-12, München, Germany, 2018.

  6. Mazyar Seraj; Serge Autexier; Jan Janssen

    BEESM, a Block-Based Educational Programming Tool for End Users

    In: 10th Nordic Conference on Human-Computer Interaction (NordiCHI). Nordic Conference on Human-Computer Interaction (NordiCHI-2018), October 1-3, Oslo, Norway, 2018.

  7. Kripasindhu Sarkar; Basavaraj Hampiholi; Kiran Varanasi; Didier Stricker

    Learning 3D Shapes as Multi-Layered Height-maps using 2D Convolutional Networks

    In: Computer Vision -- ECCV 2018 |. European Conference on Computer Vision (ECCV-2018), September 8-14, Munich, Germany, Springer International Publishing, 2018.

  8. Nicola Ferro; Norbert Fuhr; Gregory Grefenstette; Joseph A. Konstan; Pablo Castells; Elizabeth M. Daly; Thierry Declerck; Michael D. Ekstrand; Werner Geyer; Julio Gonzalo; Tsvi Kuflik; Krister Lindn; Bernardo Magnini; Jian-Yun Nie; Raffaele Perego; Bracha Shapira; Ian Soboroff; Nava Tintarev; Karin Verspoor; Martijn C. Willemsen; Justin Zobel

    The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction

    In: Claudia Hauff; Craig Macdonald (Hrsg.). SIGIR Forum, Vol. 52, No. 1, Pages 91-101, ACM, 6/2018.

  9. Simon Duque Antón; Daniel Fraunholz; Dennis Krummacker; Christoph Fischer; Michael Karrenbauer; Hans Dieter Schotten

    The Dos and Don’ts of Industrial Network Simulation: A Field Report

    In: Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control (ISCSIC). International Conference on Industrial Automation, Robotics and Control Engineering (IARCE-2018), September 21-23, Stockholm, Sweden, IASED, 2018.

  10. Frederic Raber; Antonio Krüger

    Privacy Perceiver: Using Social Network Posts to Derive Users' Privacy Measures

    In: Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP), New York, NY, USA, Pages 227-232, UMAP '18, ISBN 978-1-4503-5784-5, ACM, 2018.

Year

More options