Sciweavers

974 search results - page 85 / 195
» Semantic Announcement Sharing
Sort
View
CORR
2004
Springer
86views Education» more  CORR 2004»
15 years 6 months ago
Epistemic communities: description and hierarchic categorization
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...
Camille Roth, Paul Bourgine
PLPV
2011
ACM
14 years 9 months ago
Local actions for a curry-style operational semantics
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
Gordon Stewart, Andrew W. Appel
WWW
2007
ACM
16 years 7 months ago
The two cultures: mashing up web 2.0 and the semantic web
A common perception is that there are two competing visions for the future evolution of the Web: the Semantic Web and Web 2.0. A closer look, though, reveals that the core technol...
Anupriya Ankolekar, Markus Krötzsch, Thanh Tr...
WWW
2006
ACM
16 years 7 months ago
Exploring social annotations for the semantic web
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
Xian Wu, Lei Zhang, Yong Yu
ER
2007
Springer
111views Database» more  ER 2007»
16 years 16 days ago
Provability-Based Semantic Interoperability Via Translation Graphs
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord