Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2012
Remove all filters
Displaying results 81 to 90 of 609.

  1. 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 Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

  2. 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 Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.

  3. 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, and Fusion, Revised Selected Papers. International Workshop on Adaptive Multimedia Retrieval (AMR-2010), 8th, August 17-18, Linz, Austria, Pages 1-15, Lecture Notes in Computer Science (LNCS), Vol. 6817, ISBN 978-3-642-27168-7, Springer, 1/2012.

  4. 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.

  5. 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.

  6. Jens Haupert

    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 Communications (PerCom-12), 5th, March 19-23, Lugano, Switzerland, IEEE Computer Society, 3/2012.

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

  8. 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 Spring Symposium (AAAI SSS-12), March 26-28, Palo Alto, CA, USA, AAAI , 2012.

  9. David Aspinall; Ewen Denney; Christoph Lüth

    Querying Proofs

    In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, March 10-15, Merida, Venezuela, Pages 92-106, Lecture Notes in Computer Science (LNCS), Vol. 7180, Springer Verlag, Berlin Heidelberg, 2012.

  10. Kinga Schumacher; Björn Forcher; Thanh Tran

    Semantische Suche

    In: Andreas Dengel. Semantische Technologien: Grundlagen - Konzepte - Anwendungen. Chapter 9, Spektrum Akademischer Verlag, 2012.

Year