Sciweavers

2525 search results - page 440 / 505
» A Framework for Semantic Gossiping
Sort
View
CAV
2009
Springer
239views Hardware» more  CAV 2009»
14 years 25 days ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
DEXAW
2007
IEEE
128views Database» more  DEXAW 2007»
14 years 23 days ago
Sharing Data on the Grid using Ontologies and distributed SPARQL Queries
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
Andreas Langegger, Martin Blöchl, Wolfram W&o...
SIGIR
2010
ACM
14 years 21 days ago
User comments for news recommendation in social media
Reading and Commenting online news is becoming a common user behavior in social media. Discussion in the form of comments following news postings can be effectively facilitated if...
Jia Wang, Qing Li, Yuanzhu Peter Chen
ESORICS
2009
Springer
14 years 21 days ago
Declassification with Explicit Reference Points
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
Alexander Lux, Heiko Mantel
CVPR
2004
IEEE
14 years 17 days ago
Visual Object Categorization Using Distance-Based Discriminant Analysis
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...