We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
Typical application scenarios in the area of rich-media management, such as the continuous digitisation of the media production processes, the search and retrieval tasks in a grow...
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...