Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2008
Remove all filters
Displaying results 131 to 140 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, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 209-224, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.

  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, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 225-239, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.

  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, located at SAMT 2008, December 3, Koblenz, Germany, SAMT Workshop on Cross-Media Information Analysis and Retrieval, Springer, 12/2008.

  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 SOA und Compliance Management. Pages 165-177, Lecture Notes in Informatics (LNI), Vol. P-141, Köllen, Bonn, 2008.

  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, Pages 24-36, GI, 2008.

  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), 4th, December 9-12, Madrid, Spain, ISBN 978-1-60558-264-1, ACM, 12/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, Schriftenreihe des bdvb, Bundesverband Deutscher Volks- und Betriebswirte e.V. Vol. Band 5, ISBN 1866-6123, Logos Verlag, Berlin, 2008.

  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, 12/2008.

  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, 2008.

Year