1636 search results - page 96 / 328 » Type-Theoretic Functional Semantics |
136
Voted
OTM
2010
Springer
15 years 2 months ago
2010
Springer
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 ...
146
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
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...
134
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
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...
141
Voted
AH
2008
Springer
15 years 10 months ago
2008
Springer
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...
134
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
: 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...