Sciweavers

2661 search results - page 60 / 533
» A Semantics for Abstraction
Sort
View
FSTTCS
2006
Springer
15 years 10 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
SEMWEB
2005
Springer
15 years 11 months ago
Constructing Complex Semantic Mappings Between XML Data and Ontologies
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
Yuan An, Alexander Borgida, John Mylopoulos
VISUAL
2005
Springer
15 years 11 months ago
Surveying the Reality of Semantic Image Retrieval
Abstract. An ongoing project is described which seeks to add to our understanding about the real challenge of semantic image retrieval. Consideration is given to the plurality of t...
Peter G. B. Enser, Christine J. Sandom, Paul H. Le...
AIMSA
2004
Springer
15 years 11 months ago
Coordinating Semantic Peers
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini
AH
2000
Springer
15 years 10 months ago
Exploratory Activity Support Based on a Semantic Feature Map
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
Mizue Kayama, Toshio Okamoto, Alexandra I. Cristea