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

Cyber-Physical Systems

Publikationen

Seite 103 von 106.

Kai Hübner; J. Zhang
Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems
In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots …
Tim Laue; Thomas Röfer
Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots
In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE …
Stefan Wölfl; Till Mossakowski (Hrsg.)
Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings
German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …
David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz
Proof General in Eclipse
In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …
Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
Structured Formal Development in Isabelle
In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.
Till Mossakowski
Institutional 2-cells and Grothendieck institutions
In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …
Till Mossakowski
Monad-Based Logics for Computational Effects
In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …
Till Mossakowski
Hets User Guide
Department of Computer Science; Universität Bremen, o.A. 2006.
Till Mossakowski; Lutz Schröder; Stefan Wölfl
A Categorical Perspective on Qualitative Constraint Calculi
In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …
Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel
Algebraic-co-algebraic specification in CoCASL
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.