Projects

PGKit – Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between ...

IDX – Information Retrieval with IDX

IDX is a professional text indexing system with high-quality linguistic knowledge. It achieves an excellent level of consistency in the indexing of ...

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

The project will research and implement a flexible, configurable and fast version of Python, a popular Free/Open Source programming language. Much ...

CGM – CityGuide Mobile

CityGuide Mobile is an interactive and innovative navigation system for pedestrians requiring just a standard mobile phone or handheld computer. With ...

DK – Dropping Knowledge IP

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

IPeT – Image-Based Personal Computing Tools

With the widespread and cheap availability of imaging devices (scanners, digital cameras, camera-equipped PDAs and cellular phones), and the rapid ...

Bib Tutor – Development of an electronic tutor system for information retrival

The ability to deal with information in a reasonable and active way is today just as important as reading, writing and basic arithmetic. The teaching ...

FUCUS – Fuzzy-Customizing

- Prof. Dr. Oliver Thomas

DT-SUB – Projektname Englisch

-

RMK – Referenzmodellierung mit Referenzmodellkatalogen

- Prof. Dr. Peter Fettke