A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
This article present results for building accurate 3-D maps of urban environments with a mobile Segway RMP. The goal of this project is to use robotic systems to rapidly acquire 3-...
The regular occurrence of disfluencies is a distinguishing characteristic of spontaneous speech. Detecting and removing such disfluencies can substantially improve the usefulness ...
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
For a mobile robot to act autonomously, it must be able to construct a model of its interaction with the environment. Oates et al. developed an unsupervised learning method that pr...