1022 search results - page 62 / 205 » Relators and Metric Bisimulations |
106
click to vote
JLP
2007
14 years 11 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
127
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
133
click to vote
KAIS
2000
14 years 11 months ago
2000
Abstract. In this paper we present an index structure, called MetricMap, that takes a set of objects and a distance metric and then maps those objects to a k-dimensional space in s...
129
click to vote
ISAAC
2010
Springer
14 years 9 months ago
2010
Springer
We study line systems in metric spaces induced by graphs. A line is a subset of vertices defined by a relation of betweeness. We show that the class of all graphs having exactly k ...
103
click to vote
WWW
2009
ACM
16 years 16 days ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...