819 search results - page 164 / 164 » Using Assumptions to Distribute CTL Model Checking |
ICRA
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
PE
2002
Springer
13 years 10 months ago
2002
Springer
Previous analyses of scalable streaming protocols for delivery of stored multimedia have largely focused on how the server bandwidth required for full-file delivery scales as the ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Transmission over wireless fading channels under quality of service (QoS) constraints is studied when only the receiver has channel side information. Being unaware of the channel c...
PAMI
2010
13 years 5 months ago
2010
In this paper, we propose a particle filtering approach for the problem of registering two point sets that differ by a rigid body transformation. Typically, registration algorithms...