In most applications of paraphrasing, contextual information should be considered since a word may have different paraphrases in different contexts. This paper presents a method th...
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
: We present in this paper a basic scheme for delegation in a federated setting and two more advanced schemes, transferable and corporate delegation. By transferable delegation del...
Roel Peeters, Koen Simoens, Danny De Cock, Bart Pr...
— This work provides the specification of a MAC layer simulator that evaluates the service quality in WiFi, and presents initial results as a stand-alone simulator. The simulator...
Orlando Cabral, Alberto Segarra, Fernando J. Velez
Abstract In the near future, it will be possible to continuously record and store the entire audio–visual lifetime of a person together with all digital information that the pers...