Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 81 to 90 of 377.

  1. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Pages 124-149, Lecture Notes in Computer Science (LNCS), Vol. 4060, ISBN 354035462X, Springer, Berlin, 2006.

  2. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  3. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.

  4. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, ISBN 3-88722-666-6, 2006.

  5. Tim Laue; Thomas Röfer

    Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots

    In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE International Conference on Humanoid Robots. Workshop on Humanoid Soccer Robots (Humanoids-06), located at 2006 IEEE-RAS International Conference on Humanoid Robots, December 4-6, Genova, Italy, 2006.

  6. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer; Brian Elvesæter; Arne-Jørgen Berre; Ingo Zinnikus

    Meta-models, Models, and Model Transformations: Towards Interoperable Agents

    In: MATES. German Conference on Multiagent System Technologies (MATES-2006), 4th German Conference, September 19-20, Erfurt, Germany, Pages 123-134, Lecture Notes in Computer Science (LNCS), Vol. 4196, ISBN 3-540-45376-8, Springer, 2006.

  7. Adrian Ulges; Christoph Lampert; Daniel Keysers; Thomas Breuel

    Spatiogram-based Shot Distances for Video Retrieval

    11/2006.

  8. Kai Hübner; J. Zhang

    Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, Pages 3429-3434, ISBN 1-4244-0259-X, 2006.

  9. Oliver Thomas; Michael Fellmann

    Semantic Event-driven Process Chains

    In: M. Hepp; Knut Hinkelmann; D. Karagiannis; R. Klein; N. Stojanovic (Hrsg.). Proceedings of the Workshop on Semantics for Business Process Management (SBPM 2006). Workshop on Semantic Business Process Management (SBPM-2006), located at 3rd European Semantic Web Conference (ESWC 2006), June 11-14, Budva, Montenegro, 2006.

  10. Tania Avgustinova

    A Functional Typology of Copular "be": Towards an HPSG Formalisation

    In: Proceedings of the 13th International Conference on Head-Driven Phrase Structure Grammar. Pages 27-38, CSLI Publications, 2006.

Year