This paper defines multiset-valued linear index grammar and unordered vector grammar with dominance links. The former models certain uses of multisetvalued feature structures in u...
This paper reports on the techniques used to successfully translate with the help of a computer a Mathematics textbook from Portuguese to English. Even if these techniques are sim...
This paper describes the motivations for memory-based filesystems. It compares techniques used to implement them and describes the drawbacks of using dedicated memory to support s...
Marshall K. McKusick, Michael J. Karels, Keith Bos...
We present an e-learning system based on online forms that allows teachers to easily organise competitions in a classroom. This system is used in a preliminary study to evaluate wh...
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...