In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Workplace learning offers the unique possibility of the immediacy of purpose and real-world context. In order to leverage on this, we have developed a context-aware method to suppo...
This paper presents an ongoing research project about the development of an electronic learners' dictionary for the German and the Italian language (ELDIT). Modern psycholingu...
Abstract. Different methods for prefiltered environment maps have been proposed, each of which has different advantages and disadvantages. We present a general notation for prefilt...
We propose a framework for optimization problems based on particle filtering (also called Sequential Monte Carlo method). This framework unifies and provides new insight into rand...