Sciweavers

2525 search results - page 82 / 505
» A Framework for Semantic Gossiping
Sort
View
MSCS
2007
117views more  MSCS 2007»
15 years 5 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani
SEMWEB
2007
Springer
16 years 12 days ago
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. ...
PERCOM
2004
ACM
16 years 5 months ago
Dynamic Federation of Partitioned Applications in Ubiquitous Computing Environments
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
Ichiro Satoh
IRI
2009
IEEE
16 years 29 days ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin
ICIP
2004
IEEE
16 years 8 months ago
Enhancing latent semantic analysis video object retrieval with structural information
The work presented in this paper aims at reducing the semantic gap between low level video features and semantic video objects. The proposed method for finding associations betwee...
Benoit Huet, Bernard Mérialdo, Fabrice Souv...