Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 501.
  1. Thomas M. Roehr; Florian Cordes; Frank Kirchner

    RIMRES: A project summary

    In: Proceedings of ICRA 2013 Planetary Rovers Workshop. IEEE International Conference on Robotics and Automation (ICRA-2013), located at ICRA, May 5-10, Karlsruhe, Germany, 5/2013.

  2. Dennis Mronga; Achint Aggarwal

    Motion Control of the Humanoid Robot AILA

    Robotics Innovation Center Bremen, DFKI Research Reports (RR), Vol. 13-03, 5/2013.

  3. Gerrit Kahl; Denise Kahl

    A Privacy-aware Shopping Scenario

    In: Proceedings of the Companion Publication of the 2013 International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-13), March 19-22, Santa Monica, CA, USA, Pages 107-108, ISBN 978-1-4503-1966-9, ACM, New York, NY, USA, 2013.

  4. Gerrit Kahl

    A visual monitoring and management tool for smart environments

    In: Proceedings of the Companion Publication of the 2013 International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-13), March 19-22, Santa Monica, Calinornia, USA, Pages 93-94, ISBN 978-1-4503-1966-9, ACM, New York, NY, USA, 2013.

  5. Alejandro Figueroa; Günter Neumann

    Learning to Rank Effective Paraphrases from Query Logs for Community Question Answering

    In: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13) . AAAI Conference on Artificial Intelligence (AAAI-13), 27th, July 14-18, Bellevue, WA, USA, AAAI, 7/2013.

  6. Data Extraction from SystemC Designs using Debug Symbols and the SystemC API

    In: IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-13), August 5-8, Natal, Brazil, IEEE, 2013.

  7. Andreas Emrich; Alexandra Chapko; Dirk Werth; Peter Loos

    Adaptive, Multi-criteria Recommendations for Location-Based Services

    In: Jr. Ralph H. Sprague (Hrsg.). Proceedings of the Forty-Sixth Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2013), January 7-10, Wailea, Maui, HI, USA, Pages 1165-1173, ISBN 978-1-4673-5933-7, IEEE Computer Society, Los Alamitos, CA, USA, 1/2013.

  8. Till Mossakowski; Oliver Kutz; Christoph Lange

    Three Semantics for the Core of the Distributed Ontology Language

    In: International Joint Conference on Artificial Intelligence . International Joint Conference on Artificial Intelligence (IJCAI-13), The 2013 International Joint Conference on Artificial Intelligence, August 3-9, Beijing, China, 2013.

  9. Christoph Lange; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger

    A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

    In: Jacques Carette; James H. Davenport; Wolfgang Windsteiger; Petr Sojka; David Aspinall; Christoph Lange (Hrsg.). Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-13), July 8-12, Bath, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 2013.

  10. Frank Dylla; Till Mossakowski; Thomas Schneider; Diedrich Wolter

    Algebraic Properties of Qualitative Spatio-Temporal Calculi

    In: Conference On Spatial Information Theory . Conference On Spatial Information Theory (COSIT-13), September 2-5, North Yorkshire, United Kingdom, Springer, 2013.