Sciweavers

1103 search results - page 102 / 221
» Semantic Interoperability of Authorizations
Sort
View
JUCS
2010
176views more  JUCS 2010»
14 years 10 months ago
Integrating Personal Web Data through Semantically Enhanced Web Portal
: Currently, the World Wide Web is mostly composed of isolated and loosely connected "data islands". Connecting them together and retrieving only the information that is ...
Lidia Rovan, Tomislav Jagust, Mirta Baranovic
143
Voted
WWW
2007
ACM
16 years 4 months ago
Formalization, User Strategy And Interaction Design: Users? Behaviour With Discourse Tagging Semantics
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
120
Voted
CSR
2008
Springer
15 years 5 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
ICALT
2005
IEEE
15 years 9 months ago
Phoenix Tool: A Support to Semantic Learning Model
Share and reuse of learning objects are an important issue, that are not solved by simply adding a metadata description. Their contextualisation as well as their level of granular...
Emmanuel Fernandes, Hend Madhour, Sami Miniaoui, M...
CSL
2008
Springer
15 years 5 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent