Projects

Aristotle, the ancient Greek teacher, scientist and philosopher, had an extraordinary command of all the scientific disciplines of his day, as well as an ability to teach that knowledge to his student

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between interactive proof tools, called PGIP. Partners IBM Deut

IDX is a professional text indexing system with high-quality linguistic knowledge. It achieves an excellent level of consistency in the indexing of large amounts of German or English text. IDX is able

CityGuide Mobile is an interactive and innovative navigation system for pedestrians requiring just a standard mobile phone or handheld computer. With CityGuide Mobile users can select a city's facilit

The project will research and implement a flexible, configurable and fast version of Python, a popular Free/Open Source programming language. Much anecdotal, and some empirical, evidence suggests that

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

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 of this competence in connection with the navigati

With the widespread and cheap availability of imaging devices (scanners, digital cameras, camera-equipped PDAs and cellular phones), and the rapid decrease in storage costs, individuals and organizati