Abstract—We describe a method for automatically generating accurate piecewise planar models of indoor scenes using a combination of a 2D laser scanner and a camera on a mobile pl...
In this paper we present a dynamic data structure, useful for robot navigation in an unknown, simplyconnected planar environment. The guiding philosophy in this work is to avoid t...
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
Abstract— This paper presents an approach to create topological maps from geometric maps obtained with a mobile robot in an indoor-environment using range data. Our approach util...
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registrat...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...