Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1061 bis 1070 von 1189.
  1. PGKit – Generische Benutzerschnittstellen für interaktive Theorembeweiser

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

  2. IDX – Textindexierung mit IDX

    IDX – Textindexierung mit IDX

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

  3. DK – Dropping Knowledge IP

    DK – Dropping Knowledge IP

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

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

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

  5. CGM – CityGuide Mobile

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

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

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

  7. IPeT – Image-Based Personal Computing Tools

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

  8. DT-SUB – Deep Thought
  9. FUCUS – Fuzzy-Customizing

    FUCUS – Fuzzy-Customizing

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

  10. RMK – Referenzmodellierung mit Referenzmodellkatalogen

    RMK – Referenzmodellierung mit Referenzmodellkatalogen

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