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

Cyber-Physical Systems

Publications

Page 103 of 114.

Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema
Modal logics are coalgebraic
In: Samson Abramsky; Vladimiro Sassone (Hrsg.). Visions of Computer Science. BCS International Academic Conference (BCS-08), September 22-24, London, United Kingdom, Pages 129-140, ISBN 978-1-906124-08-3, BCS, 2008.
Frank Dylla; Alexander Ferrein; Gerhard Lakemeyer; Jan Murray; Oliver Obst; Thomas Röfer; Stefan Schiffer; Frieder Stolzenburg; Ubbo Visser; Thomas Wagner
Approaching a formal soccer theory from behaviour specifications in robotic soccer
In: Peter Dabnicki; Arnold Baca (Hrsg.). Computers in Sports. Pages 161-186, WIT Press; www.witpress.com, 2008.
David Becker; Jörg Brose; Daniel Göhring; Matthias Jüngel; Max Risler; Thomas Röfer
GermanTeam 2008
In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup International Symposium (RoboCup), located at The 12th RoboCup International Competitions and Conferences, RoboCup-2008 Suzhou, Suzhou, China, RoboCup Federation; www.robocup.org, 2008.
Joana Hois; Michael Wünstel; John A. Bateman; Thomas Röfer
Dialog-Based 3D-Image Recognition Using a Domain Ontology
In: Thomas Barkowsky; Markus Knauff; Gérard Ligozat; Daniel R. Montello (Hrsg.). Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006. International Conference Spatial Cognition (Spatial Cognition-20), September 24-28, Bremen, Germany, Pages 107-126, Lecture Notes in Artificial Intelligence (LNAI), No. 4387, Springer-Verlag Heidelberg, 2008.
Michael Wünstel; Thomas Röfer
Multi-Modal Scene Interpretation
In: Sabine Timpf (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. Themenheft Räumliche Mobilität, Pages 69-71, Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag, 2008.
Andrea Kohlhase
MS PowerPoint Use from a Micro-Perspective
In: Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. World Conference on Educational Multimedia (ED-MEDIA-2008), June 30 - July 4, Wien, Australia, Pages 1279-1286, Vol. 1, AACE, Chesapeake, VA, 2008.
Yohei Kurata; Hui Shi
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models
In: Andreas Dengel (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), 31st Annual German Conference on AI, September 23-26, Kaiserslautern, Germany, Pages 258-266, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, Springer-Verlag, Berlin Heidelberg, 2008.
Oliver Kutz; Till Mossakowski; Mihai Codescu
Shapes of Alignments - Construction, Combination, and Computation
In: Ulrike Sattler; Andrei Tamilin (Hrsg.). International Workshop on Ontologies: Reasoning and Modularity. International Workshop on Ontologies: Reasoning and Modularity (WORM-08), located at the 5th European Semantic Web Conference ESWC-08, June 2, Tenerife, Spain, CEUR-WS online proceedings, Vol. 348, CEUR, 2008.
Oliver Kutz; Dominik Lücke; Till Mossakowski
Heterogeneously Structured Ontologies: Integration, Connection, and Refinement
In: T. Meyer; M.A. Orgun (Hrsg.). Knowledge Representation Ontology Workshop. Knowledge Representation Ontology Workshop (KROW-08), located at KR-2008, September 16-19, Sidney, Australia, Pages 41-50, CRPIT, Vol. 90, ASR, 2008.
Dirk Pattinson; Lutz Schröder
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
In: Roberto Amadio (Hrsg.). Foundations of Software Science and Computation Structures (FOSSACS 2008). International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2008), located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 66-80, Lecture Notes in Computer Science (LNCS), Vol. 4962, Springer, 2008.