Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publikationen

Seite 107 von 114.

Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki
CASL- the Common Algebraic Specification Language
In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, Springer, Heidelberg, 2007.
John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski
Ontological Modularity and Spatial Diversity
In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.
Udo Frese
Efficient 6-DOF SLAM with Treemap as a Generic Backend
In: Proceedings of the International Conference on Robotics and Automation, Rome. IEEE International Conference on Robotics and Automation (ICRA-07), April 10-14, Rome, Italy, 2007.
Kai Hübner
Object Description and Decomposition by Symmetry Hierarchies
In: Vaclav Skala (Hrsg.). WSCG 2007 Short Paper Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG-2007), 15th, January 29 - February 1, Plzen-Bory, Czech Republic, Pages 125-132, ISBN 978-80-86943-02-2, UNION Agency - Science Press, Plzen, Czech Republic, 2007.
Cord Niehaus; Thomas Röfer; Tim Laue
Gait Optimization on a Humanoid Robot using Particle Swarm Optimization
In: Changjiu Zhou; Enrico Pagello; Emanuele Menegatti; Sven Behnke (Hrsg.). Proceedings of the Second Workshop on Humanoid Soccer Robots in conjunction with the 2007 IEEE-RAS International Conference on Humanoid Robots. Workshop on Humanoid Soccer Robots (Humanoids-07), located at 2007 IEEE-RAS International Conference on Humanoid Robots, November 29 - December 1, Pittsburgh, Pennsylvania, USA, 2007.
Christian Mandel; Thomas Röfer; Udo Frese
Applying a 3DOF Orientation Tracker as a Human-Robot Interface for Autonomous Wheelchairs
In: Proceedings of the 10th International Conference on Rehabilitation Robotics. IEEE International Conference on Rehabilitation Robotics (ICORR-07), June 13-15, Noordwijk, Netherlands, ISBN 1-4244-1320-6, IEEE, 2007.
Christian Mandel; Udo Frese; Thomas Röfer
Design Improvements for Proportional Control of Autonomous Wheelchairs Via 3DOF Orientation Tracker
In: Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN'2007). International Work-Conference on Artificial Neural Networks (IWANN-2007), June 20-22, San Sebastián, Spain, Lecture Notes in Computer Science, Springer, Berlin, 2007.
Tim Laue; Thomas Röfer
Particle Filter-based State Estimation in a Competitive and Uncertain Environment
In: Proceedings of the 6th International Workshop on Embedded Systems. International Workshop on Ambient Intelligence and Embedded Systems (IWES-2007), 6th, September 6-7, Vaasa, Finland, VAMK, University of Applied Sciences, Vaasa, Finland, 2007.
Michael Kohlhase; Achim Mahnke; Christine Müller
Managing Variants in Document Content and Narrative Structures
In: Alexander Hinneburg (Hrsg.). Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. GI-Workshop-Tage "Lernen, Wissen, Adaptivität" (LWA-07), September 24-26, Halle/ Saale, Germany, ISBN 978-3-86010-907-6, 2007.
David Aspinall; Christoph Lüth; Daniel Winterstein
A Framework for Interactive Proof
In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007), June 27-30, Hagenberg, Australia, Pages 161-175, Lecture Notes in Artificial Intelligence (LNAI), Vol. 4573, Springer, 2007.