Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 370

  1. Jörg Siekmann; Serge Autexier

    Computer Supported Formal Work: Towards a Digital Mathematical Assistant

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

  2. Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

    Preattentive visualization of information relevance

    In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …

  3. Daniel Bahls; Thomas Roth-Berghofer

    Explanation Support for the Case-Based Reasoning Tool myCBR

    In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007), July 22-26, Vancouver, BC, Canada. AAAI Conference on Artificial …

  4. Serge Autexier; A. Fiedler; T. Neumann; M. Wagner

    Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems

    In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …

  5. Serge Autexier; C. Benzmüller (Hrsg.)

    Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

    Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …

  6. Jan Alexandersson; Tilman Becker

    Efficient Computation of Overlay for Multiple Inheritance Hierarchies in Discourse Modeling

    In: H. Bunt; R. Muskens (Hrsg.). Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 83, Springer, Netherland, 2007.

  7. Ingo Zinnikus; Christian Hahn; Michael Klein; Klaus Fischer

    An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multibrand Vehicle Configuration

    In: B. J. Krämer; K.-J. Lin; P. Narasimhan (Hrsg.). Proceedings of the 5th International Conference on Service-Oriented Computing. International …

  8. Z. Zhang; Jörg Siekmann (Hrsg.)

    Knowledge Science, Engineering and Management. 2nd International Conference

    International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, …

  9. Hendrik Zender; Geert-Jan Kruijff

    Towards Generating Referring Expressions in a Mobile Robot Scenario

    In: L. Seabra Lopes; T. Belpaeme; S.J. Cowley (Hrsg.). Language and Robots: Proceedings of the Symposium. Symposium on Language and Robots …

  10. M. Wolpers; Gunnar Martin; E. Duval

    CAM in Process Execution

    In: K. Tochtermann; H. Maurer (Hrsg.). Proceedings of the 7th International Conference on Knowledge Management (I-KNOW-2007), September 5-7, Graz, …

Jahr