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

Cyber-Physical Systems

Publikationen

Seite 103 von 117.

Udo Frese
Gutachten zur Spezifikation des Odometriealgorithmus
Industrieauftrag der Fa. Deuta Werke, Bergisch-Gladbach, 2009.
Udo Frese; Holger Täubig
Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage
Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Research Report, Vol. RR0901, 2009.
Oliver Birbach; Udo Frese
A Multiple Hypothesis Approach for a Ball Tracking System
In: Proceedings of the 7th International Conference on Computer Vision Systems. International Conference on Computer Vision Systems (ICVS-2009), October 13 - September 15, Liège, Belgium, 2009.
Dominik Dietrich; Ewaryst Schulz
Crystal: Integrating Structured Queries into a Tactic Language
In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009.
Bernd Krieg-Brückner; Bernd Gersdorf; Mathias Döhle; Kerstin Schill
Technik für Senioren in spe im Bremen Ambient Assisted Living Lab
In: Ambient Assisted Living, 2. Deutscher AAL-Kongress 2009. Deutscher AAL-Kongress (AAL), January 27-28, Berlin, Germany, VDE-Verlag, 2009.
Cui Jian; Hui Shi; Bernd Krieg-Brückner
SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge
In: Report of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. AAAI Spring Symposium (AAAI SSS), March 23-25, Stanford, USA, 2009.
Bernd Krieg-Brückner; Hui Shi
Spatio-Temporal Situated Interaction in Ambient Assisted Living
In: Helge Ritter; Gerhard Sagerer; Jochen Steil (Hrsg.). Proceedings of Third International Workshop on Human Centered Robotic Systems. International Workshop on Human Centered Robotic Systems (HCRS-09), November 19-20, Bielefeld, Germany, Cognitive Systems Monographs, Vol. 6, Springer, 2009.
David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
Towards Merging Plato and PGIP
In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 226, Elsevier Science, 2009.
Mihai Codescu
Generalized Theoroidal Institution Comorphisms
In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2008), 19th, June 13-16, Pisa, Italy, Pages 88-101, Lecture Notes in Computer Science (LNCS), Vol. 5486, ISBN 978-3-642-03428-2, Springer, Berlin, Heidelberg, 2009.
Bernd Krieg-Brückner; Hui Shi; Bernd Gersdorf; Mathias Döhle; Thomas Röfer
Context-Sensitive Spatial Interaction and Ambient Control
In: Fulvio Mastrogiovanni; Nak-Young Chong (Hrsg.). Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. Pages 513-533, IGI Global, 2009.