Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Forschungsprojekte
Ergebnisse pro Seite:  10

1993 - 1999

Theoriebehandlung in Beweisprozeduren für Prädikatenlogik 1. Stufe (TheTP)

ab 1993

Ray Tracing und Radiosity

1993 - 1997

Echtzeitplanung für ereignis- und zeitgesteuerte Aktivierungen (Dipl.-Inform. Wolfgang Albrecht)

ab 1993

MOTOS - Tourenplanung für Behindertenwerkstätten

ab 1993

HADES

1993 - 1996

VERBMOBIL-Teilprojekt 9 "Spontansprachliche und inkrementelle Generierung in VERBMOBIL"

1993 - 1997

Analyse von Petri-Netz Modellen (Sprecher: Dipl.-Inform. Hanno Ridder)

ab 1991

Evaluation und Organisationsmodellierung

1990 - 2000

Constraint-basierte Geometriemodelle im CAD

ab 1990

Relationales CAD-System RelCAD