DynaQ?s goal is to design the prototype of a data-recall facility to open up individual knowledge resources on a user?s desktop by using ?orienteering? as a retrieval strategy. ?Orienteering? is typic
The objective of the project is to set up and populate an information portal with innovative functionalities that helps to promote RTD competencies in IST in the New Member States (NMS) and Associate
To ensure economic success, constant training and further education is essential for executive employees in almost any type of industry today. The accelerated replacement and modification of methods,
LIRICS addresses the needs of today's information and communication society where globalisation and localization necessitate multilingual communication creating an increasing need for new standardizat
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
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