Publications

Dominik Dietrich; Ewaryst Schulz; Marc Wagner

In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

Dominik Dietrich; Ewaryst Schulz

In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

Anthony Jameson; Jürgen Kiefer; Christian Müller; Frank Wittig; Ralf Rummer

In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - …

Alexander Kröner; Wolfgang Wahlster

In: IT - information technology, Vol. 50, No. (1), Pages 45-50, Oldenbourg, 2008.

Michael Schmitz; Christoph Endres; Andreas Butz

In: Proceedings of the 2nd International Conference on INtelligent TEchnologies for interactive enterTAINment. Conference on INtelligent TEchnologies …

Marius Renn; Joost van Beusekom; Daniel Keysers; Thomas Breuel

In: Proceedings of 6th International Workshop on Adaptive Multimedia Retrieval. International Workshop on Adaptive Multimedia Retrieval (AMR-2008), …

Udo Frese; Tim Laue

In: Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in …

S. Huang; Z. Wang; G. Dissanayake; Udo Frese

In: Proceedings of the Australasian Conference on Robotics and Automation. Australasian Conference on Robotics and Automation (ACRA-08), December 3-5, …

M. Gissler; Udo Frese; M. Teschner

In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), …

Martin Klima; Miroslav Macik; Elena Urdaneta; Cristina Buiza; Eduardo Carrasco; Gorka Epelde; Jan Alexandersson

In: Proceedings of AMIF 2008. Ambient Intelligence Forum (AMIF-2008), October 15-16, Hradec Králové, Czech Republic, 10/2008.