Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 370
  1. Wolfgang Maaß; Tobias Kowatsch; Timo Münster

    Vocabulary Patterns in Free-for-all Collaborative Indexing Systems

    In: Proceedings of the First International Workshop on Emergent Semantics and Ontology Evolution, ESOE 2007, co-located with ISWC 2007 + ASWC 2007. …

  2. A. Morrison; Sirko Straube; H.E. Plesser; M. Diesmann

    Exact subthreshold integration with continuous spike times in discrete time neural network simulations

    In: Neural Computation, Vol. 19, Pages 47-79, MIT Press, 2007.

  3. Dynamic Product Interfaces: A Key Element for Ambient Shopping Environments

    In: Proc. of 20th Bled eConference, Bled, Slovenia. Bled eConference (BLED-07), 2007.

  4. Wolfgang Maaß; Andreas Filler; Sabine Janzen

    Reasoning on Smart Products in Consumer Good Domains

    In: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10. European Conference on Ambient Intelligence (AmI-07), …

  5. Klaus Fischer; Christian Hahn; Cristián Madrigal Mora

    Agent-oriented software engineering: a model-driven approach

    In: International Journal of Agent-Oriented Software Engineering (IJAOSE), Vol. 1, No. 3/4, Pages 334-369, Inderscience, 2007.

  6. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  7. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  8. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  9. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  10. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …