12 Titles in Klassifikation (DDC)
Classification
Close
Filters
3

jump to filter-options

Anomaly detection as a one-class problem in discrete event systems
Klerx, Timo ; Kleine Büning, Hans ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2017
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Identifying behavior models for hybrid production systems
Vodenčarević, Asmir
2013
Learning and coordination in sequential multiagent problems
Kemmerich, Thomas
2012
Learning shepherding behavior
Baumann, Michael ; Kleine Büning, Hans ; Hamann, Heiko
Elektronische Ressource, Paderborn, 2016
Local strategies for robot formation problems
Kempkes, Barbara
2012
Routing and scheduling for home care services
solution approaches for static and dynamic settings
Guericke, Daniela ; Suhl, Leena ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2016
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017
Vision based tracking in team sports
Ibrahim, Emad Monier Mosaad
2011

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

12 Titles in Klassifikation (DDC)
Classification
Close
Filters
3

Anomaly detection as a one-class problem in discrete event systems

Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen

Identification of timed behavior models for diagnosis in production systems

Identifying behavior models for hybrid production systems

Learning and coordination in sequential multiagent problems

Learning shepherding behavior

Local strategies for robot formation problems

Routing and scheduling for home care services

Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems

Towards automated service composition under quality constraints

Verifying concurrent programs under weak memory models

Vision based tracking in team sports

12 Titles in Klassifikation (DDC) ClassificationCloseFilters3

12 Titles in Klassifikation (DDC)
Classification
Close
Filters
3