Sciweavers

2470 search results - page 143 / 494
» Liveness-Preserving Simulation Relations
Sort
View
COMCOM
2004
89views more  COMCOM 2004»
15 years 18 days ago
QROUTE: an QoS-guaranteed multicast routing
In this paper, we propose QROUTE, an integrated framework for QoS-guaranteed multicast routing, in which a feasible multicast tree meeting multiple QoS constraints can be construc...
Jinquan Dai, Touchai Angchuan, Hung Keng Pung
89
Voted
CDC
2010
IEEE
138views Control Systems» more  CDC 2010»
14 years 7 months ago
Design of a navigation filter by analysis of local observability
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
Pierre-Jean Bristeau, Nicolas Petit, Laurent Praly
111
Voted
IJRR
2011
99views more  IJRR 2011»
14 years 7 months ago
Unifying geometric, probabilistic, and potential field approaches to multi-robot deployment
This paper unifies and extends several different existing strategies for deploying groups of robots in an environment. A cost function is proposed that can be specialized to rep...
Mac Schwager, Daniela Rus, Jean-Jacques E. Slotine
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 7 months ago
Mixed-Membership Stochastic Block-Models for Transactional Networks
Abstract: Transactional network data can be thought of as a list of oneto-many communications (e.g., email) between nodes in a social network. Most social network models convert th...
Mahdi Shafiei, Hugh Chipman
EJWCN
2010
115views more  EJWCN 2010»
14 years 7 months ago
Efficient Certification Path Discovery for MANET
A Mobile Ad Hoc Network (MANET) is characterized by the lack of any infrastructure, absence of any kind of centralized administration, frequent mobility of nodes, network partitio...
Georgios Kambourakis, Elisavet Konstantinou, Anast...