Sciweavers

15 search results - page 1 / 3
» Translating Structured English to Robot Controllers
Sort
View
AR
2008
95views more  AR 2008»
13 years 4 months ago
Translating Structured English to Robot Controllers
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
WLP
2000
Springer
13 years 8 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs
IJRR
2010
117views more  IJRR 2010»
13 years 1 months ago
Generalizing Dubins Curves: Minimum-time Sequences of Body-fixed Rotations and Translations in the Plane
This paper presents the minimum-time sequences of rotations and translations that connect two configurations of a rigid body in the plane. The configuration of the body is its pos...
Andrei A. Furtuna, Devin J. Balkcom
MT
2007
158views more  MT 2007»
13 years 4 months ago
Automatic extraction of translations from web-based bilingual materials
This paper describes the framework of the StatCan Daily Translation Extraction System (SDTES), a computer system that maps and compares webbased translation texts of Statistics Can...
Qibo Zhu, Diana Zaiu Inkpen, Ash Asudeh
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
13 years 10 months ago
Decoupled Visual Servoing from a set of points imaged by an omnidirectional camera
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
Hicham Hadj-Abdelkader, Youcef Mezouar, Philippe M...