15 search results - page 2 / 3 » jirs 2011 |
ASC
2011
12 years 12 months ago
2011
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
JIRS
2011
12 years 7 months ago
2011
Abstract This paper deals with the problem of mobile-robot localization in structured environments. The extended Kalman filter (EKF) is used to localize the fourwheeled mobile robo...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
Weconsiderthefollowingcakecuttinggame:AlicechoosesasetPofnpointsin thesquare(cake)[0,1]2,where(0,0)∈P;Bobcutsoutnaxis-parallelrectangles withdisjointinteriors,eachofthemhavingap...
NFM
2011
12 years 12 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...