Projekte

PGKit – Generische Benutzerschnittstellen für interaktive Theorembeweiser

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware ...

IDX – Textindexierung mit IDX

IDX ist ein professionelles Textindexierungssystem mit hochwertigen linguistischen Ressourcen. Es erreicht eine herausragende Qualität bei der ...

DK – Dropping Knowledge IP

Developing the Archive for dropping knowledge ( www.droppingknowledge.org ) Partner dropping knowledge e,V. (subcontractor) - Prof. Dr. Hans ...

PyPy – Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community

Das Projekt wird eine flexible, konfigurierbare und schnelle Version von Python, einer beliebten Free/Open Source Programmiersprachen erforschen und ...

CGM – CityGuide Mobile

CityGuide Mobile ist ein interaktives und innovatives Fußgänger-Navigationssystem für mobile Endgeräte wie zum Beispiel Java-fähige Handys und ...

Bib Tutor – Entwicklung eines elektronischen Tutorsystems zur Suche in Informationsbeständen

Die Fähigkeit, sinnvoll und aktiv mit Informationen umzugehen, gehört heute wie Lesen, Schreiben und Rechnen zu den grundlegenden Kulturtechniken. Die ...

IPeT – Image-Based Personal Computing Tools

Mit der weitverbreiteten und billigen Verfügbarkeit von Mitteln zur Bild-Erstellung (Scanner, Digitalkameras, PDAs und Mobiltelefone mit integrierter ...

DT-SUB – Deep Thought

-

FUCUS – Fuzzy-Customizing

Das DFG-Forschungsprojekt trägt den Namen "Referenzmodell-gestütztes Customizing unter Berücksichtigung unscharfer Daten" - Kennwort ...

RMK – Referenzmodellierung mit Referenzmodellkatalogen

Within the Information Systems field, information modeling is a vital instrument to develop information systems. However, the modeling process is ...