Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 504.
  1. 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.

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

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

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

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

  6. Julian Krumeich; Dirk Werth; Peter Loos

    Interdependencies between Business Model Components—A Literature Analysis

    In: AMCIS 2013 - Proceedings of the 19th Americas Conference on Information Systems. Americas Conference on Information Systems (AMCIS-2013), 19th, August 15-17, Chicago, IL, USA, AIS Electronic Library, 2013.

  7. Ingo Zinnikus; Xiaoqi Cao; Klaus Fischer

    Agent-Supported Collaboration and Interoperability for Networked Enterprises: Modelling interactions and service compositions

    In: Computers in Industry, Vol. 64, No. 8, Pages 938-950, Elsevier, 10/2013.

  8. Jacek Jankowski; Sandy Ressler; Kristian Sons; Yvonne Jung; Johannes Behr; Philipp Slusallek

    Declarative Integration of Interactive 3D Graphics into the World-Wide Web: Principles, Current Approaches, and Research Agenda

    In: Proceedings of the 18th International Conference on 3D Web Technology. ACM International Conference on 3D Web Technology (Web3D-13), 18th, June 20-22, San Sebastian, Spain, ACM, 2013.

  9. Felix Klein; Dmitri Rubinstein; Kristian Sons; Farshad Einabadi; Stephan Herhut; Philipp Slusallek

    Declarative AR and Image Processing on the Web with Xflow

    In: Proceedings of the 18th International Conference on Web 3D Technology. ACM International Conference on 3D Web Technology (Web3D-13), 18th, June 20-22, San Sebastian, Spain, ACM, 2013.

  10. Jozef Doboš; Kristian Sons; Dmitri Rubinstein; Philipp Slusallek; Anthony Steed

    XML3DRepo: A REST API for Version Controlled 3D Assets on the Web

    In: Proceedings of the 18th International Conference on 3D Web Technology. ACM International Conference on 3D Web Technology (Web3D-13), 18th, June 20-22, San Sebastian, Spain, ACM, 2013.