The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Rendering geometric models with complex surface materials in arbitrary lighting environments is a challenging problem. In order to relight and render geometries covered with compl...
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...