Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 327.
  1. David Aspinall; Christoph Lüth; Burkhart Wolff

    Assisted Proof Document Authoring

    In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …

  2. Michael Kruppa; Andrew Lum; William Niu; Miriam Weinel

    Towards mobile tour guides supporting collaborative learning in small groups

    In: Peter Brusilovsky; Charles Callaway; Andreas Nürnberger (Hrsg.). Proceedings of the 1st workshop on Personalized Information Access (PIA2005) in …

  3. Michael Kruppa

    Towards explicit physical object referencing

    In: Liliana Ardissono; Paul Brna; Antonija Mitrovic (Hrsg.). Proceedings of the User Modeling Conference 2005, Doctoral Consortium. International …

  4. Ralf Jung; Andreas Butz

    Effectiveness of User Notification in Ambient Soundscapes

    In: Proceedings of the workshop on Auditory Displays for Mobile Context-Aware Systems. Workshop on Auditory Displays for Mobile Context-Aware …

  5. Michael Kruppa

    A userstudy on parallel presentations for heterogenous user groups

    University of Sydney, Computer Science Department, University of Sydney, Computer Science Department, Vol. TR-563, 1/2005.

  6. John Kelleher

    Integrating Visual and Linguistic Salience for Reference Resolution

    In: Proceedings of the 16th Irish conference on Artificial Intelligence and Cognitive Science. Irish conference on Artificial Intelligence and …

  7. Tianfang Yao; Hans Uszkoreit

    A Novel Machine Learning Approach for the Identification of Named Entity Relations

    In: Proceedings of the ACL Workshop on Feature Engineering for Machine Learning in NLP. ACL Workshop on Feature Engineering for Machine Learning in …

  8. Dennis Walter; Lutz Schröder; Till Mossakowski

    Parametrized Exceptions

    In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  9. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …

  10. Hans Uszkoreit; Valia Kordoni; Vladislav Kubon; Michael A. Rosner; Sabine Kirchmeyer-Andersen

    Language Technology from a European Perspective

    In: Proceedings of the Second ACL Workshop on Effective Tools and Methodologies for Teaching NLP and CL. ACL Workshop on Effective Tools and …