Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 203
  1. Thorsten Bohnenberger; Anthony Jameson; Antonio Krüger; Andreas Butz

    User Acceptance of a Decision-Theoretic Location-Aware Shopping Guide

    In: Proceedings of the 7th international conference on Intelligent user interfaces. International Conference on Intelligent User Interfaces (IUI-02), …

  2. Louis Vuurpijl; Louis ten Bosch; Jan Peter de Ruiter; Stephane Rossignol; Lou Boves; Ralf Engel; Norbert Pfleger

    Overview of the state of the art in fusion of speech and pen input

    Max Planck Institute for Psycholinguistics, Deutsches Forszungszentrum für Künstliche Intelligenz GmbH (DFKI), Max Planck Institute for Biological …

  3. Axel Schairer; Dieter Hutter

    Proof Transformations for Evolutionary Formal Software Development

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …

  4. Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

    The Development Graph Manager MAYA

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …

  5. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …

  6. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI …

  7. Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

    Workshop on Evolutionary Formal Software Development

    Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.

  8. Thomas Rist; Patrick Brandmeier

    Customizing Graphics for Tiny Displays of Mobile Devices

    In: Personal and Ubiquitous Computing (PUC), Vol. 6, No. 4, Pages 260-268, Springer, 2002.

  9. Peter Poller; Jochen Müller

    Distributed Audio-Visual Speech Synchronization

    In: Proceedings of the 7th International Conference on Spoken Language Processing ICSLP2002, Denver, Colorado, USA, September 2002. International …