Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir 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
Ergebnisse pro Seite:  50

2000 - 2003

Hybride Raum-Deduktion in dynamischen Umgebungen - mit Anwendung auf kooperierende Agenten im RoboCup (RaumDeduktion)

2000 - 2002

Distributed Agents for User-Friendly Access of Digital Libraries - Nutzerorientiertes Zugangssystem für heterogene Digitale Bibliotheken (DAFFODIL)

2000 - 2002

Sozialwissenschaften für Jedermann - die Internetplattform sowinet.de

2000 - 2003

Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking (TRIAL-SOLUTION)

2000 - 2002

European Schools Treasury Browser (ETB)

2000

Monitoring Urban Dynamics (MURBANDY)

ab 2000

Modellos

ab 1999

Multi-Media Infrastruktur

ab 1999

Video-Präsentation von Studien-Informationen und Forschungsergebnissen

1999 - 2002

Content Analysis, Retrieval and Metadata: Effective Networking (CARMEN) AP11: Heterogenitätsbehandlung bei textueller Information verschiedener Datentypen und Inhaltserschließungsverfahren

1999 - 2002

Content Analysis, Retrieval and Metadata: Effective Networking (CARMEN) AP12: Crosskonkordanzen von Klassifikationen und Thesauri

1999 - 2002

Intelligente WEB-Informationsagenten

ab 1999

CeraNet - ein multimediales modellbasiertes Werkzeug zur Qualitätsverbesserung für die keramische Industrie in Praxis, Forschung und Ausbildung

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

1998 - 2001

Computergraphische Modellierung des Campus Metternich

1998 - 2001

Dokumentation der Campus-Baustelle Metternich

ab 1998

Testumgebung zur Analyse der Prioritätsvererbung in Echtzeitsystemen (EZ)

ab 1998

EZauto - Autonome Steuerung eines Lastkraftwagens (EZ)

ab 1998

EZauto - Präzise Manöver für Fahrzeuge im Gespann (EZ)

ab 1998

Dreidimensionales Relationales CAD-System RelCAD3D

ab 1997

CoSMoS: Coblenz Software Monitoring System

ab 1996

Formalisierung von Verhaltensbeschreibungen im Netzmanagement

1996 - 1997

Modellbildung und Analyse von Rechensystemen

1996 - 1999

Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (AnZenOS)

ab 1995

Diskrete Techniken zur globalen Beleuchtungsberechnung bei der digitalen Bildsynthese (Sprecher: Dipl.-Inform. Marcel Bresink)

1995 - 2000

Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)

1995 - 1996

Modulare Architektur für Radiosity-Systeme (Sprecher: Dipl.-Inform. Marcel Bresink)

1995 - 1996

Virtuelles Studio

ab 1994

Diagnostik mit Petri-Netzen

ab 1994

DB-Technik in Engineering-Unternehmen (Sprecher: Dipl.-Inform. Thomas Marx)

1994 - 1999

KOSCRIPT- KOblenz SCript RecognItion ProjecT

ab 1994

Fraktale Geometrie

1993 - 1998

Petri-Net based CASE-Method (Sprecher: Dipl.-Inform. Thomas Marx)

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 - 1997

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

ab 1991

Evaluation und Organisationsmodellierung

1990 - 2000

Constraint-basierte Geometriemodelle im CAD