Sciweavers

5809 search results - page 100 / 1162
» On Quantifying Semantic Information
Sort
View
TPHOL
2005
IEEE
15 years 9 months ago
Verifying a Secure Information Flow Analyzer
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
David A. Naumann
IIR
2010
15 years 5 months ago
An Ontological Representation of Documents and Queries for Information Retrieval Systems
This paper presents a vector space model approach, for representing documents and queries, using concepts instead of terms and WordNet as a light ontology. This way, information o...
Mauro Dragoni, Célia da Costa Pereira, Andr...
ICIP
2003
IEEE
16 years 5 months ago
Statistical learning for effective visual information retrieval
For effective retrieval of visual information, statistical learning plays a pivotal role. Statistical learning in such a context faces at least two major mathematical challenges: ...
Edward Y. Chang, Beitao Li, Gang Wu, Kingshy Goh
DEXA
2009
Springer
120views Database» more  DEXA 2009»
15 years 10 months ago
Supporting Personal Semantic Annotations in P2P Semantic Wikis
In this paper, we propose to extend Peer-to-Peer Semantic Wikis with personal semantic annotations. Semantic Wikis are one of the most successful Semantic Web applications. In sema...
Diego Torres, Hala Skaf-Molli, Alicia Díaz,...
ER
2004
Springer
119views Database» more  ER 2004»
15 years 9 months ago
OWL-Based Semantic Conflicts Detection and Resolution for Data Interoperability
Ontology provides sharing knowledge among different data sources which will help to clarify the semantics of information. OWL is being promoted as a standard for web ontology langu...
Changqing Li, Tok Wang Ling