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

Cyber-Physical Systems

Publikationen

Seite 97 von 106.

Hui Shi; Bernd Krieg-Brückner
Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Till Mossakowski
Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods
In: Theoretical Computer Science (TCS), 2008.
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 …
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.
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), …
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, …
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 …
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, …
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 …
Mihai Codescu; Daniel Găină
Birkhoff Completeness in Institutions
In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.