Sciweavers

1636 search results - page 96 / 328
» Type-Theoretic Functional Semantics
Sort
View
OTM
2010
Springer
15 years 4 months ago
Integrating Keywords and Semantics on Document Annotation and Search
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
Nikos Bikakis, Giorgos Giannopoulos, Theodore Dala...
IAT
2006
IEEE
16 years 7 days ago
Dynamic Service Composition and Selection through an Agent Interaction Protocol
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
Yasmine Charif-Djebbar, Nicolas Sabouret
CSFW
2000
IEEE
15 years 10 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
AH
2008
Springer
16 years 17 days ago
Modelling Semantic Relationships and Centrality to Facilitate Community Knowledge Sharing
Some of today’s most widely spread applications are social systems where people can form communities and share knowledge. However, knowledge sharing is not always effective and c...
Styliani Kleanthous, Vania Dimitrova
GI
2004
Springer
15 years 11 months ago
XML-based Data Integration for Semantic Information Portals
: This paper addresses some classical problems to integrate data sources that are heterogeneous in structure with possibly redundant data along a real world example integrating thr...
Patrick Lehti, Peter Fankhauser, Silvia von Stacke...