Sciweavers

3706 search results - page 7 / 742
» OntoComP System Description
Sort
View
DLOG
2001
14 years 8 days ago
Description of the RACER System and its Applications
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 ...
Volker Haarslev, Ralf Möller
EMSOFT
2005
Springer
14 years 4 months ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
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...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
P2P
2007
IEEE
108views Communications» more  P2P 2007»
14 years 5 months ago
Distributed, Automatic File Description Tuning in Peer-to-Peer File-Sharing Systems
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 ...
DLOG
2007
14 years 1 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
ICAT
2006
IEEE
14 years 5 months ago
Scalable Architecture and Content Description Language for Mobile Mixed Reality Systems
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, ...