Sciweavers

1415 search results - page 74 / 283
» Verified systems by composition from verified components
Sort
View
NLE
2007
148views more  NLE 2007»
15 years 5 months ago
Abbreviated text input using language modeling
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
Stuart M. Shieber, Rani Nelken
PAMI
2002
157views more  PAMI 2002»
15 years 6 months ago
Automatic Recognition of Handwritten Numerical Strings: A Recognition and Verification Strategy
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
Luiz E. Soares de Oliveira, Robert Sabourin, Fl&aa...
CVPR
2012
IEEE
13 years 8 months ago
Robust plane-based structure from motion
We introduce a new approach to structure and motion recovery directly from one or more large planes in the scene. When such a plane exists, we demonstrate how to automatically det...
Zihan Zhou, Hailin Jin, Yi Ma
AUTOMATICA
2007
88views more  AUTOMATICA 2007»
15 years 6 months ago
Design of hybrid controller for dynamic positioning from calm to extreme sea conditions
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
Trong Dong Nguyen, Asgeir J. Sørensen, Ser ...
ICRA
2006
IEEE
276views Robotics» more  ICRA 2006»
16 years 11 days ago
Feature Extraction from Laser Scan Data based on Curvature Estimation for Mobile Robotics
— This paper presents a geometrical feature detection system to use with conventional 2D laser rangefinders. This system consists of three main modules: data acquisition and pre...
Pedro Núñez, Ricardo Vázquez ...