Sciweavers

816 search results - page 4 / 164
» Simulation Distances
Sort
View
103
Voted
ICALP
2004
Springer
15 years 7 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»
15 years 21 days 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 8 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
136
Voted
ISCC
2003
IEEE
120views Communications» more  ISCC 2003»
15 years 7 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...
116
Voted
JIPS
2006
80views more  JIPS 2006»
15 years 2 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