Results 11  20
of
2,020
An Architecture for a Global Internet Host Distance Estimation Service
 In: Proceedings of IEEE INFOCOM
, 1999
"... There is an increasing need for Internet hosts to be able to quickly and efficiently learn the distance, in terms of metrics such as latency or bandwidth, between Internet hosts. For example, to select the nearest of multiple equalcontent web servers. This paper explores technical issues related to ..."
Abstract

Cited by 139 (2 self)
 Add to MetaCart
to the creation of a public infrastructure service to provide such information. In so doing, we suggests an architecture, called IDMaps, whereby Internet distance information is distributed over the Internet, using IP multicast groups, in the form of a virtual distance map. Systems listening to the groups can
Synthesis of interface specifications for Java classes
 In POPL
, 2005
"... While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequencing of method calls the client must invoke is usually undocumented. In this paper, we propose a novel solution for autom ..."
Abstract

Cited by 142 (9 self)
 Add to MetaCart
synthesis method first constructs a symbolic representation of the finite statetransition system obtained from the class using predicate abstraction. Constructing the interface then corresponds to solving a partialinformation twoplayer game on this symbolic graph. We present a sound approach to solve
Regionbased Image Querying
, 1997
"... Retrieving images from large and varied collections using image content as a key is a challenging and important problem. In this paper we present a new image representation which provides a transformation from the raw pixel data to a small set of localized coherent regions in color and texture space ..."
Abstract

Cited by 123 (6 self)
 Add to MetaCart
space. This socalled “blobworld ” representation is based on segmentation using the ExpectationMaximization algorithm on combined color and texture features. The texture features we use for the segmentation arise from a new approach to texture description and scale selection. We describe a system
A Theory of Metric Labelled Transition Systems
 Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences
, 1995
"... Labelled transition systems are useful for giving semantics to programming languages. Kok and Rutten have developed some theory to prove semantic models defined by means of labelled transition systems to be equal to other semantic models. Metric labelled transition systems are labelled transition sy ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Labelled transition systems are useful for giving semantics to programming languages. Kok and Rutten have developed some theory to prove semantic models defined by means of labelled transition systems to be equal to other semantic models. Metric labelled transition systems are labelled transition
Metricizing the World Metricizing the World
, 2008
"... There is much to be said about building the infrastructure of a performance management system in an organization. Committees, software applications, management meetings, data queries, charts, dashboards, definitions, summarization techniques, and analysis techniques require a vast infusion of prepar ..."
Abstract
 Add to MetaCart
of preparation and, of course, funding. Unfortunately, all those things seldom dictate the success or failure of the system. There are two keys that ultimately provide triumph or doom for the whole endeavor. These keys are Disease and Dimension. Metrics as a Disease… What is more dangerous than an untrained
Generalized Quantitative Analysis of Metric Transition Systems
"... Abstract. The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the pointwise ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the point
Linear and Branching Metrics for QuantitativeTransition Systems
"... Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as real values in the interval [0;1]. Traceinclusion and equivalence give rise to asymmetrica ..."
Abstract
 Add to MetaCart
calculus. We show that, while trace inclusion (resp. equivalence) coincides with simulation (resp. bisimulation) for deterministic boolean transition systems, linear and branching distances do not coincide for deterministic quantitative transition systems. Finally, we provide algorithms for computing
Antipodal Metrics and Split Systems
, 2001
"... Recall that a metric d on a finite set X is called antipodal if there exists a map σ: X → X: x ↦ → x so that d(x, x) = d(x, y) + d(y, x) holds for all x, y ∈ X. Antipodal metrics canonically arise as metrics induced on specific weighted graphs, although their abundance becomes clearer in light of t ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Recall that a metric d on a finite set X is called antipodal if there exists a map σ: X → X: x ↦ → x so that d(x, x) = d(x, y) + d(y, x) holds for all x, y ∈ X. Antipodal metrics canonically arise as metrics induced on specific weighted graphs, although their abundance becomes clearer in light
Metrical Service Systems: Deterministic Strategies
, 1993
"... In this paper we introduce a new model of online problems called metrical service systems. An instance of a metrical service system is specified by a metric space M and a set R of requests, where each r 2 R is a subset of M . There is one server that can move in M . At every time step a request r ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
is to minimize the service cost, which is the total distance moved by the server. Even for simple metrical service systems computing the optimal service online is impossible. Therefore, we concentrate on socalled competitive strategies that compute a service that only approximates an optimal one. More
Metric Databases
"... The advent of the digital age creates an increasing interest to search for information in large unstructured repositories containing textual and multimedia data. Retrieval from those repositories requires more powerful query languages, which exceed the querying capabilities of traditional database t ..."
Abstract
 Add to MetaCart
of storing so called “multimedia objects”, which nevertheless can rarely be searched by content. The most distinguishing feature of multimedia objects is that there is no point in comparing them by exact equality. Rather, users are interested in how similar two objects are. The metric space model gives a
Results 11  20
of
2,020