Sciweavers

229 search results - page 11 / 46
» Topological Duality in Semantics
Sort
View
LICS
2005
IEEE
14 years 3 months ago
Relations in Concurrency
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
Glynn Winskel
LICS
2005
IEEE
14 years 3 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...
SSD
1993
Springer
237views Database» more  SSD 1993»
14 years 1 months ago
A Small Set of Formal Topological Relationships Suitable for End-User Interaction
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
Eliseo Clementini, Paolino Di Felice, Peter van Oo...
ER
2005
Springer
134views Database» more  ER 2005»
14 years 3 months ago
Spatial Relations for Semantic Similarity Measurement
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
Angela Schwering, Martin Raubal
INFOCOM
2003
IEEE
14 years 3 months ago
Spectral Analysis of Internet Topologies
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
Christos Gkantsidis, Milena Mihail, Ellen W. Zegur...