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 61 to 70 of 609.
  1. Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler

    Synthesis of Reversible Circuits with Minimal Lines for Large Functions

    In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …

  2. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    A Proof Theoretic Interpretation of Model Theoretic Hiding

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  3. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

    Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  4. Mihai Codescu

    Lambda Expressions in CASL Architectural Specifications

    In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  5. Stephan Baumann; Rafael Schirru; Bernhard Streit

    Towards a Storytelling Approach for Novel Artist Recommendations

    In: Marcin Detyniecki; Peter Knees; Andreas Nürnberger; Markus Schedl; Sebastian Stober (Hrsg.). Adaptive Multimedia Retrieval. Context, Exploration, …

  6. Joost van Beusekom; Faisal Shafait; Thomas Breuel

    Text-line examination for document forgery detection

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. Online First, Pages 1-19, Springer, 2012.

  7. Sebastiano Battiato; Sabu Emmanuel; Adrian Ulges; Marcel Worring

    Multimedia in Forensics, Security, and Intelligence

    In: IEEE Multimedia, Vol. 19, Pages 17-19, IEEE Computer Society, Los Alamitos, CA, USA, 2012.

  8. Towards a Digital Object Memory Architecture

    In: Fifth Annual PhD Forum on Pervasive Computing and Communications (PerCom 2012 PhD Forum). IEEE International Conference on Pervasive Computing and …

  9. Geert-Jan Kruijff; Francis Colas; Tomas Svoboda; Jurriaan van Diggelen; Patrick Balmer; Fiora Pirri; Rainer Worst

    Designing Intelligent Robots for Human-Robot Teaming in Urban Search & Rescue

    In: AAAI 2012 Spring Symposium on Designing Intelligent Robots. AAAI Spring Symposium (AAAI SSS-2012), March 26-28, Palo Alto, CA, USA, AAAI , 2012.

  10. Geert-Jan Kruijff

    How Could We Model Cohesiveness in Team Social Fabric in Human-Robot Teams Performing Under Stress?

    In: Proceedings of the AAAI 2012 Spring Symposium on AI, The Fundamental Social Aggregation Challenge, and the Autonomy of Hybrid Agent Groups. AAAI …