Projects

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for ...

What Is SmartKom? There is a growing need for more intuitive and efficient interfaces to computing devices ? especially for users with limited ...

The project will develop an intelligent work tool for researching information. A wide variety of applications are imaginable such as intelligent ...

ActiveMath is an innovative, adaptive web-based environment for learning mathematics. The system guides the student in self-regulated learning, can ...

The World Wide Web offers a wealth of texts, tables and maps for you to browse through. But computing your own results from that information is a ...

Olive, closely related to the Pop-Eye project which uses subtitles for the retrieval of video material, takes this approach further by additionally ...

The travel and tourism sector is one of the biggest economic branches world-wide. For this sector the World Wide Web plays an increasingly important ...

As industrial use of Language Technology is flourishing and the market for competing software systems is expanding, there is an increasing need for ...

In the Verbmobil project the Language Technology Lab develops the German grammar for analysis and generation as well as the components for the deep, ...

The Flag project is a research project aimed at developing grammar and controlled language checking technologies using state-of-the-art natural ...