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 91 to 100 of 506.
  1. Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin

    The Verisoft Approach to Systems Verification

    In: Natarajan Shankar; Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, …

  2. Eyad Alkassar; Mark Hillebrand

    Formal Functional Verification of Device Drivers

    In: Jim Woodcock; Natarajan Shankar (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, …

  3. Adrian Ulges; Markus Koch; Christian Schulze; Thomas Breuel

    Learning TRECVID'08 High-level Features from YouTube

    TREC Workshop 2008 on Video Retrieval Evaluation (TRECVID-2008), NIST, 11/2008.

  4. Adrian Ulges; Christian Schulze; Thomas Breuel

    Multiple Instance Learning on Weakly Labeled Videos

    In: Workshop on Cross-Media Information Analysis, Extraction and Management. Workshop on Cross-Media Information Analysis, Extraction and Management, …

  5. Oliver Thomas; Philipp Walter; Thorsten Dollmann; Peter Loos; Markus Schlicker

    Using Fuzzy Process Models to Improve Technical Customer Services: A Case Study for Heating Facilities

    In: Peter Loos; Markus Nüttgens; K. Turowski; Dirk Werth (Hrsg.). MobIS 2008: Modellierung betrieblicher Informationssysteme - Modellierung zwischen …

  6. Oliver Thomas; Thorsten Dollmann; Peter Loos

    Rules Integration in Business Process Models - A Fuzzy Oriented Approach

    In: M. Rosemann; M. Zur Muehlen (Hrsg.). Enterprise Modelling and Information Systems Architectures. An International Journal (EMISA), Vol. 3, No. 2, …

  7. Markus Goldstein; Matthias Reif; Armin Stahl; Thomas Breuel

    High Performance Traffic Shaping for DDoS Mitigation

    In: Proceedings of the 2008 ACM CoNEXT conference. ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT-2008), …

  8. Katrina Leyking; August-Wilhelm Scheer

    SOA - Serviceorientierte Architekturen für flexibles Geschäftsprozessmanagement

    In: Gerrit Buchenau; Steffen Rietz; Michael Giebel (Hrsg.). Prozessmanagement. Praktische Anwendung und weiterführende Ideen. Pages 229-279, …

  9. Matthias Reif; Markus Goldstein; Armin Stahl; Thomas Breuel

    Anomaly Detection by Combining Decision Trees and Parametric Densities

    In: Pattern Recognition, 2008. ICPR 2008. International Conference on Pattern Recognition (ICPR-2008), 19th, December 8-11, Tampa, FL, USA, IEEE, …

  10. Marc Schröder; Roddy Cowie; Dirk Heylen; Maja Pantic; Catherine Pelachaud; Björn Schuller

    Towards responsive Sensitive Artificial Listeners

    In: Fourth International Workshop on Human-Computer Conversation. International Workshop on Human-Computer Conversation, October 6-7, Bellagio, Italy, …