5030 search results - page 161 / 1006 » cases 2007 |
202
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In analogy to the representation of the standard probabilistic average as an expected value of a random variable, a geometric approach to aggregation is proposed. Several properti...
184
Voted
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
154
click to vote
JSAC
2007
15 years 6 months ago
2007
— We consider non-cooperative mobiles, each faced with the problem of which subset of WLANs access points (APs) to connect and multihome to, and how to split its traffic among t...
182
Voted
AROBOTS
2004
2004
Propagation of Uncertainty in Cooperative Multirobot Localization: Analysis and Experimental Results
15 years 6 months ago
This paper examines the problem of cooperative localization for the case of large groups of mobile robots. A Kalman filter estimator is implemented and tested for this purpose. The...
167
click to vote
MASCOTS
2001
15 years 8 months ago
2001
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...