Search Sciweavers | Sciweavers

7057 search results - page 26 / 1412

» Tasks, domains, and languages

click to vote

MUC
1993

82views Natural Language Processing» more MUC 1993»

Domain and language evaluation results

14 years 2 months ago

Download www.aclweb.org

Mary Ellen Okurowski

claim paper

Read More »

click to vote

IROS
2007
IEEE

112views Robotics» more IROS 2007»

From structured english to robot motion

14 years 4 months ago

Download web.mae.cornell.edu

— 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 ...

Hadas Kress-Gazit, Georgios E. Fainekos, George J....

claim paper

Read More »

click to vote

AR
2008

95views more AR 2008»

Translating Structured English to Robot Controllers

13 years 10 months ago

Download www.public.asu.edu

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....

claim paper

Read More »

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

14 years 3 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »