3706 search results - page 113 / 742 » OntoComP System Description |
107
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
145
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
177
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
124
click to vote
PDPTA
2003
15 years 6 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
137
click to vote
AAAI
2000
15 years 6 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...