Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2001
Remove all filters
Displaying results 81 to 90 of 182.

  1. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer Society, 5/2001.

  2. Heiko Mantel

    Information Flow Control and Applications -- Bridging a Gap --

    In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe. Formal Methods Europe (FME), Berlin, Pages 153-172, LNCS 2021, Springer, 3/2001.

  3. Elisabeth Andre; Martin Klesen; Patrick Gebhard; Steve Allen; Thomas Rist

    Exploiting Models of Personality and Emotions to Control the Behavior of Animated Interface Agents

    In: Proceedings of the workshop on Achieving Human-Like Behavior in Interactive Animated Agents in conjunction with the Fourth International Conference on Autonomous Agents. International Conference on Autonomous Agents (AGENTS), 2001.

  4. Jörg Baus; H Zimmer; H Speiser

    Die Selektion dimensionaler räumlicher Präpositionen automatisch und nicht ressourcenadaptierend

    In: Kognitionswissenschaft, Vol. 9, No. 3, Pages 114-121, Springer, 2001.

  5. Patrick Gebhard

    Enhancing Embodied Intelligent Agents with Affective User Modelling

    In: J. Vassileva & P. Gmytrasiewicz (Eds.), UM2001, Proceedings of the Eighth International Conference.(Doctoral Consortium summary). International Conference on User Modeling (UM), 2001.

  6. Ralph Schäfer; Liliana Ardissono; Alexander Felfernig; Gerhard Friedrich; Dietmar Jannach; Markus Zanker

    The CAWICOMS Project.

    In: Proceedings of Elektronische Geschätsprozesse. Klagenfurt, 2001. Internationale Arbeitskonferenz Elektronische Geschäftsprozesse (EGP), 2001.

  7. Michael Kruppa

    ARREAL- A mobile pedestrian navigation System built from standard hardware components

    Mastersthesis, Universität des Saarlandes, 2001.

  8. Eberhard Bertsch; Mark-Jan Nederhof

    Size/ Lookahead Tradeoff for LL(k)-Grammars

    In: Information Processing Letters, Vol. 80, Pages 125-129, 2001.

  9. Eberhard Bertsch; Mark-Jan Nederhof

    On the Complexity of some Extensions of RCG Parsing

    In: Proceedings of the 7th International Workshop on Parsing Technologies (IWPT'01), October 17-19. International Conference on Parsing Technologies (IWPT), Beijing, China, Pages 66-77, 2001.

  10. Micha Baum; Gregor Erbach; Markus Kommenda

    Spracherkennung: Kommunikation mit Maschinen

    In: Funkschau, Vol. 1/ 2001, Pages 26-29, 2001.

Year