Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publications

Page 105 of 114.

  1. Tim Laue; Thomas Röfer

    SimRobot - Development and Applications

    In: E. Menegatti (Hrsg.). Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008). International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR-2008), November 3-7, Venice, Italy, Pages 143-150, Proceedings on CD-ROM, 2008.

  2. Lutz Schröder

    Bootstrapping Inductive and Coinductive Types in HasCASL

    In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.

  3. M. Gissler; Udo Frese; M. Teschner

    Exact Distance Computation for Deformable Objects

    In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), September 1-3, Seoul, Korea, Republic of, 2008.

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

    Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency

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

  5. Udo Frese; Tim Laue

    (A) VISION FOR 2050: The Road Towards Image Understanding for a Human-Robot Soccer Match

    In: Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in Control, Automation and Robotics (ICINCO-2008), May 11 - April 15, Funchal, Madeira, Portugal, 2008.

  6. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, Birmingham, United Kingdom, Pages 16-28, 2008.

  7. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.

  8. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  9. Hui Shi; Yohei Kurata

    Reasoning on the Patterns of Spatial Arrangments between a Path and a Region-Like Landmarks

    In: Electric Poster Proceedings of GIScience 2008. International Conference on Geographic Information Science (GIScience-2008), September 23-26, Park City, UT, USA, 2008.

Contact

Assistant to the management:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen