Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Forschungsprojekte
PDF | RTF
Ergebnisse pro Seite:  10

ab 1999

FABIS - Fachbereichsinformationssystem

1999 - 2002

Virtuelle Fachbibliothek Sozialwissenschaften (ViBSoz)

ab 1999

EWIS - East-West-Information Service

1999 - 2001

Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen

ab 1999

ISSP DataWizard

ab 1999

Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)

1999 - 2000

RoboLog - Intelligentes verteiltes räumliches Schließen im RoboCup

ab 1999

GUPRO - Generische Umgebung zum PROgrammverstehen

ab 1999

Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)

1998 - 2003

Generierung von Testszenarien für die Überprüfung der Konformität von Protokollen zur Vermeidung der Prioritätsumkehr