Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Mar...
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...