RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Peers in peer-to-peer file-sharing systems cannot effectively share their files if they are poorly described. Terms one user employs to describe an instance of a file may not be t...
Dongmei Jia, Wai Gen Yee, Linh Thai Nguyen, Ophir ...
We propose a new scalable architecture for mobile mixed reality (MR) systems and a content description language to be used in such architecture. Several architectures already exist...
Fumihisa Shibata, Takashi Hashimoto, Koki Furuno, ...
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
Patrick Martin, Jean-Pierre de la Croix, Magnus Eg...