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 41 to 50 of 370.
  1. Mathias Stäger; Paul Lukowicz; Gerhard Tröster

    Power and accuracy trade-offs in sound-based context recognition systems

    In: Pervasive and Mobile Computing, Vol. 3, No. 3, Pages 300-327, Elsevier Science Publishers B. V. Amsterdam, The Netherlands, The Netherlands, 2007.

  2. Enriching input in Statistical Machine Translation

    Mastersthesis, School of Informatics, University of Edinburgh, 8/2007.

  3. Modelling Personality in Voices of Talking Products Through Prosodic Parameters

    In: Proceedings of the 10th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-07), …

  4. Boris Brandherm; Helmut Prendinger; Mitsuru Ishizuka

    Interest estimation based on dynamic bayesian networks for visual attentive presentation agents

    In: Proceedings of the 9th international conference on Multimodal interfaces. International Conference on Multimodal Interfaces (ICMI-07), November …

  5. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  6. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  7. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …

  8. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics

    In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …

  9. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …

  10. Lutz Schröder

    Bootstrapping Types and Cotypes in HasCASL

    In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …