2894 search results - page 467 / 579 » Latent semantic analysis |
154
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...
174
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
171
click to vote
TSD
2007
Springer
16 years 17 days ago
2007
Springer
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
172
click to vote
APLAS
2006
ACM
16 years 13 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
180
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...