1746 search results - page 46 / 350 » A Constructive Semantics for ALC |
133
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
The so-called Semantic Web vision will certainly benefit from automatic semantic annotation of words in documents. We present a method, called structural semantic interconnections ...
138
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
109
click to vote
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
156
click to vote
MMM
2011
Springer
14 years 7 months ago
2011
Springer
Having effective methods to access the images with desired object is essential nowadays with the availability of huge amount of digital images. We propose a semantic higher-level ...