620 search results - page 65 / 124 » Tool support for component-based semantics |
106
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
MMM
2006
Springer
15 years 5 months ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
ESWS
2004
Springer
15 years 5 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
104
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...