Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2011
Remove all filters
Displaying results 81 to 90 of 589.

  1. Lutz Schröder; Dirk Pattinson

    Description Logics and Fuzzy Probability

    In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence …

  2. Sergey Goncharov; Lutz Schröder

    Powermonads and Tensors of Unranked Effects

    In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science …

  3. Jochen Frey; Simon Bergweiler; Jan Alexandersson; Ehsan Gholamsaghaee; Norbert Reithinger; Christoph Stahl

    SmartCase: A Smart Home Environment in a Suitcase

    In: International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-11), 7th, July 25-28, Nottingham, …

  4. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra

    In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.

  5. Marc Seissler; Kai Breiner; Gerrit Meixner

    Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments

    In: Proceedings of the 14th International Conference on Human-Computer Interaction. Human Computer Interaction International Conferences (HCII-2011), …

  6. Kai Breiner; Kai Bizik; Thilo Rauch; Marc Seissler; Gerrit Meixner

    Automatic adaptation of user workflows within model-based user interface generation during runtime on the example of the SmartMote

    In: Proceedings of the 14th International Conference on Human-Computer Interaction. Human Computer Interaction International Conferences (HCII-2011), …

  7. Alexander Kröner; Patrick Gebhard; Boris Brandherm; Benjamin Weyl; Jörg Preißinger; Carsten Magerkurth; Selcuk Anilmis

    Personal Shopping Support From Digital Product Memories

    In: Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems. International Conference on …

  8. Jan Hendrik Metzen; Su-Kyoung Kim; Timo Duchrow; Elsa Andrea Kirchner; Frank Kirchner

    On Transferring Spatial Filters in a Brain Reading Scenario

    In: Proceedings of the 2011 IEEE Workshop on Statistical Signal Processing. IEEE Statistical Signal Processing Workshop (SSP-2011), June 28-30, Nice, …

  9. Leif Christensen; Niklas Fischer; Sven Kroffke; Johannes Lemburg; Reinhard Ahlers

    Cost Effective Autonomous Robots for Ballast Water Tank Inspection

    In: Volker Bertram (Hrsg.). Proceedings of the 10th Conference on Computer Applications and Information Technology in the Maritime Industries. …

  10. Heiko Maus; Sven Schwarz; Jan Haas; Andreas Dengel

    CONTASK: Context-Sensitive Task Assistance in the Semantic Desktop

    In: Joaquim Filipe; José Cordeiro (Hrsg.). Enterprise Information Systems. Pages 177-192, Lecture Notes in Business Information Processing (LNBIP), …

Year