Skip to main content Skip to main navigation



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

Zeige Ergebnisse 41 bis 50 von 370
  1. Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki

    CASL- the Common Algebraic Specification Language

    In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, …

  2. Katrina Leyking

    Service-oriented Knowledge Architectures- Flexible Information Systems for Integrated Learning and Business Processes

    In: K. Maillet; T. Klobucar; D. Gillet; R. Klamma (Hrsg.). Proceedings of the EC-TEL 2007 PROLEARN Doctoral Consortium at (EC-TEL-2007), September 18, …

  3. Óscar Martínez Mozos; Patric Jensfelt; Hendrik Zender; Geert-Jan Kruijff; Wolfram Burgard

    An Integrated System for Conceptual Spatial Representations of Indoor Environments for Mobile Robots

    In: Z. Zivkovic; J. Kosecka (Hrsg.). Proceedings of the IROS 2007 Workshop: From Sensors to Human Spatial Concepts (FS2HSC). IROS Workshop: From …

  4. Katrina Leyking; Pavlina Chikova; Peter Loos

    Serviceorientierte Architekturen

    In: Wirtschaftsinformatik, Vol. 49, No. 5, Pages 394-401, 2007.

  5. Alexander Kröner; Nathalie Basselin; Michael Schneider; J. Mori

    Selecting Users for Sharing Augmented Personal Memories

    In: J. Hertzberg; M. Beetz; R. Englert (Hrsg.). KI 2007: Advances in Artificial Intelligence. 30th Annual German Conference on Artificial Intelligence …

  6. Martin Krämer; Hagen Kaprykowsky; Daniel Keysers; Thomas Breuel

    Bibliographic Meta-Data Extraction Using Probabilistic Finite State Transducers

    In: Proceedings of the 9th Conference on Document Analysis and Recognition (ICDAR-2007), September 23-26, Curitiba, Brazil. International Conference …

  7. Christian Kofler; Daniel Keysers; A. Koetsier; J. Laagland; Thomas Breuel

    Gestural Interaction for an Automatic Document Capture System

    In: Proceedings of the 2nd International Workshop on Camera-Based Document Analysis and Recognition (CBDAR-2007) at (ICDAR-2007), September 22, …

  8. Programming and Simulation of Quantum Search Agents

    In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC-2007), October 7-10, Montreal, QC, Canada. IEEE …

  9. Daniel Keysers; Marius Renn; Thomas Breuel

    Improving Accessibility of HTML Documents by Generating Image-Tags in a Proxy

    In: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS-2007), October 15-17, Tempe, AZ, USA. …

  10. D. Giampiccolo; A. Penas; C. Ayache; D. Cristea; P. Forner; V. Jijkoun; P. Osenva; P. Rocha; Bogdan Sacaleanu; R. Sutcliffe

    Overview of the CLEF 2007 Multilingual Question Answering Track

    In: A. Nardi; C. Peters (Hrsg.). CLEF 2007 Working Notes. Conference and Labs of the Evaluation Forum (CLEF), Online-Proceedings, 9/2007.