988 search results - page 121 / 198 » SenseNet: A Knowledge Representation Model for Computational... |
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
AISB
2008
Springer
13 years 11 months ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
While the idea that querying mechanisms for complex relationships (otherwise known as Semantic Associations) should be integral to Semantic Web search technologies has recently ga...
DOCENG
2008
ACM
13 years 10 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...