Sciweavers

2696 search results - page 104 / 540
» Semantic Abstraction and Anaphora
Sort
View
ICCS
2005
Springer
15 years 3 months ago
Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issue
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
Yannis Kalfoglou, W. Marco Schorlemmer
OTM
2005
Springer
15 years 3 months ago
Taking Advantage of LOM Semantics for Supporting Lesson Authoring
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
Olivier Motelet, Nelson A. Baloian
ICTAC
2004
Springer
15 years 3 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez
LOPSTR
2004
Springer
15 years 3 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
P2P
2002
IEEE
170views Communications» more  P2P 2002»
15 years 2 months ago
A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
Pietro Braione