Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2003
Remove all filters
Displaying results 61 to 70 of 256.

  1. Dieter Hutter; Heiko Mantel; Axel Schairer

    Informationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen

    In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

  2. Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

    Towards MultiMedia Instruction in Safe and Secure Systems

    In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002), Frauenchiemsee, Germany, Pages 82-117, Lecture Notes in Computer Science, Vol. 2755, Springer, 2003.

  3. Dieter Hutter

    Deduction as an Engineering Science (invited paper)

    In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving (FTP), Electronic Notes in Theoretical Computer Science, Vol. 86, Issue 1, 2003.

  4. Dieter Hutter

    Maintaining Formal Developments

    In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.

  5. Frank Kirchner; T. Koshizen; Dirk Spenneberg

    Cognitive Humanoid Robots Based on Complex Kinematic Features

    In: V. Palade; R.J. Howlett; L.C. Jain (Hrsg.). KES 2003 LNAI 2774. Page 584, 0, Springer-Verlag, Berlin, Heidelberg, 2003.

  6. Andreas Dengel; P. Novak; C. Wagner; K. Rehders; Bertin Klein; D. Schneider; M. Winkler; R. Tebel

    Rechnungseingangsbearbeitung: Marktpotential, Marktübersicht und Trends

    Interim 2000 (Hrg.), 9/2003.

  7. Andreas Dengel

    Making Documents Work: Challenges of Document Understanding

    In: Proceedings ICDAR'03. International Conference on Document Analysis and Recognition (ICDAR), Pages 1026-1035, 8/2003.

  8. Armin Hust; Stefan Klink; Markus Junker; Andreas Dengel

    Towards Collaborative Information Retrieval: Three Approaches

    In: J. Franke; G. Nakhaeizadeh; I. Renz (Hrsg.). Text Mining-Theoretical Aspects & Application. Pages 97-112, Physica-Verlag, 3/2003.

  9. K. Kise; Markus Junker; Andreas Dengel; K. Matsumoto

    Effectiveness of Passage-Based Document Retrieval for Short Queries

    In: IEICE Transactions on Information & Systems, Vol. E86-D, No. No. 9, Pages 1753-1761, 9/2003.

  10. Berthold Crysmann

    An Asymmetric Theory of Peripheral Sharing in HPSG: Conjunction Reduction and Coordination of Unlikes

    In: Gerhard Jaeger; Paola Monachesi; Gerald Penn; Shuly Wintner (Hrsg.). Proceedings of FGVienna: The 8th Conference on Formal Grammar, Aug 16--17 2003, Vienna. Conference on Formal Grammar (FG), Stanford, CSLI Publications, 2003.

Year