883 search results - page 58 / 177 » The Semantics of Verilog Using Transition System Combinators |
PSSS
2003
13 years 10 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
AAAI
2006
13 years 10 months ago
2006
This paper summarizes our research in the area of semantic tagging at the word and sense levels and sets the ground for a new approach to text-level sentiment annotation using a c...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
WEBDB
2005
Springer
14 years 2 months ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
13 years 10 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...