In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
: In this paper, we report our experiments in the mixed query task of the Web track for TREC 2004. We deal with the problem of ranking Web documents within a multicriteria framewor...
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
Multimedia and hypermedia had and still have a tremendous impact on the evolution of educational software. In this paper we propose a platform for the implementation of the servic...
The German joint research project Verbmobil (VM) aims at the deveh)pment of a speech to speech translation system. This paper reports on research done in our group which belongs t...