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)

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 …

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 …

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 …

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 …

DT-SUB – Deep Thought

FUCUS – Fuzzy-Customizing

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

CoSy – Cognitive Systems for Cognitive Assistants

Wir fangen mit der Annahme an, daß das visionäre FP6-Ziel "physisch realisierte Systeme zu konstruieren, die wahrnehmen, verstehen ... und mit ihrer …