Sciweavers

402 search results - page 37 / 81
» Verification of Distributed Knowledge in Semantic Knowledge ...
Sort
View
RECSYS
2009
ACM
15 years 10 months ago
A semantic framework for personalized ad recommendation based on advanced textual analysis
In this paper we present a hybrid recommendation system that combines ontological knowledge with content-extracted linguistic information, derived from pre-trained lexical graphs,...
Dorothea Tsatsou, Fotis Menemenis, Ioannis Kompats...
ASWC
2009
Springer
15 years 8 months ago
Social Semantic Rule Sharing and Querying in Wellness Communities
In this paper we describe the Web 3.0 case study WellnessRules, where ontology-structured rules (including facts) about wellness opportunities are created by participants in rule l...
Harold Boley, Taylor Michael Osmun, Benjamin Larry...
APN
2008
Springer
15 years 7 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
ICWE
2010
Springer
15 years 7 months ago
Applying Semantic Web Technology in a Mobile Setting: The Person Matcher
In a mobile setting, users use, handle and search for online information in a different way. Two features typically desired by mobile users are tailored information delivery and co...
William Van Woensel, Sven Casteleyn, Olga De Troye...
EUROPAR
2005
Springer
15 years 11 months ago
Epidemic-Style Management of Semantic Overlays for Content-Based Searching
A lot of recent research on content-based P2P searching for file-sharing applications has focused on exploiting semantic relations between peers to facilitate searching. To the be...
Spyros Voulgaris, Maarten van Steen