Projects

Displaying results 61 to 64 of 64.

OPENMATH – OPENMATH
MMISS – Multimedia - Instruktion in Sicheren Systemen

The aim of the MMiSS project, which is supported by bmbf (German Ministry for Education and Research) in its programme "New Media in Education", is to …
SPP RoboCup – Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments

Employing the RoboCup scenario, this project develops methods which allow to classify primitive actions as well as complex behaviour patterns of other …
Hets – Heterogeneous Tool Set

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for …