400 search results - page 42 / 80 » Moving Proofs-As-Programs into Practice |
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
A practical algorithm for 3-D interpretation of images taken in a sewer by a robot-inspector is presented. Modern sewers made of concrete present regular circular structures origi...
ECCV
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Condensation is a popular algorithm for sequential inference that resamples a sampled representation of the posterior. The algorithm is known to be asymptotically correct...
SIGCOMM
1999
ACM
14 years 1 months ago
1999
ACM
The more information about current network conditions available to a transport protocol, the more efficiently it can use the network to transfer its data. In networks such as the...
IJRR
2002
13 years 8 months ago
2002
In this paper we describe a new technique for the creation of featurebased stochastic maps using standard Polaroid sonar sensors. The fundamental contributions of our proposal are...
TC
2002
13 years 8 months ago
2002
Dynamic Power Management (DPM) is a design methodology aiming at reducing power consumption of electronic systems by performing selective shutdown of idle system resources. The eff...