Sciweavers

816 search results - page 4 / 164
» Simulation Distances
Sort
View
70
Voted
ICALP
2004
Springer
15 years 3 months ago
Linear and Branching Metrics for Quantitative Transition 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 n...
Luca de Alfaro, Marco Faella, Mariëlle Stoeli...
CORR
2010
Springer
136views Education» more  CORR 2010»
14 years 8 months ago
Delay-Constrained Multicast Routing Algorithm Based on Average Distance Heuristic
Multicast is the ability of a communication network to accept a single message from an application and to deliver copies of the message to multiple recipients at different locatio...
Ling Zhou, Wei-xiong Ding, Yu-xi Zhu
ICRA
2005
IEEE
114views Robotics» more  ICRA 2005»
15 years 3 months ago
Minimum Distance Localization for a Robot with Limited Visibility
— Minimum distance localization is the problem of finding the shortest possible path for a robot to eliminate ambiguity regarding its position in the environment. We consider th...
Malvika Rao, Gregory Dudek, Sue Whitesides
ISCC
2003
IEEE
120views Communications» more  ISCC 2003»
15 years 2 months ago
DIP: Distance Information Protocol for IDMaps
The Internet Distance Map Service (IDMaps) [3] provides distance estimates between any pair of hosts connected to the Internet. The IDMaps system comprises two component types: Tr...
Yixin Jin, Beichuan Zhang, Vasileios Pappas, Lixia...
JIPS
2006
80views more  JIPS 2006»
14 years 9 months ago
Distance Functions to Detect Changes in Data Streams
: One of the critical issues in a sensor network concerns the detection of changes in data streams. Recently presented change detection schemes primarily use a sliding window model...
Ulziitugs Bud, JongTae Lim