Sciweavers

5164 search results - page 318 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
130
Voted
ICRA
2005
IEEE
88views Robotics» more  ICRA 2005»
15 years 10 months ago
Loop Closing in Topological Maps
— In order to create consistent maps of unknown environments, a robot must be able to recognize when it has returned to a previously visited place. In this paper, we introduce an...
Kristopher R. Beevers, Wesley H. Huang
IEEECIT
2005
IEEE
15 years 10 months ago
Feedback Scheduling for Resource-Constrained Real-time Control Systems
Subject to limited computational resource, feedback scheduling aims to improve, or to optimize, the global control performance of real-time control systems. For the system that co...
Pingfang Zhou, Jianying Xie
134
Voted
SMA
2005
ACM
119views Solid Modeling» more  SMA 2005»
15 years 10 months ago
Tightening: curvature-limiting morphological simplification
Given a planar set S of arbitrary topology and a radius r, we show how to construct an r-tightening of S, which is a set whose boundary has a radius of curvature everywhere greate...
Jason Williams, Jarek Rossignac
146
Voted
CICLING
2004
Springer
15 years 10 months ago
Towards Programming in Everyday Language: A Case for Email Management
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio ...
WIA
2004
Springer
15 years 10 months ago
Brute Force Determinization of NFAs by Means of State Covers
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paran...