5164 search results - page 893 / 1033 » Consistency of the EKF-SLAM Algorithm |
NJC
2006
14 years 10 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
PAMI
2006
14 years 10 months ago
2006
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stabi...
SIAMAM
2008
14 years 10 months ago
2008
We consider the inverse problem of electrical impedance tomography in a conducting half space, given electrostatic measurements on its boundary, i.e., a hyperplane. We first provid...
IJCSA
2007
14 years 10 months ago
2007
The Rhagoletis pomonella species complex consists of at least four sibling species. They are highly host specific as larvae, and display great fidelity as adults. The only certain...
AIR
2005
14 years 10 months ago
2005
As software organisations mature, their repositories of reusable software components from previous projects will also grow considerably. Remaining conversant with all components in...