1124 search results - page 66 / 225 » Mobile robot programming using natural language |
GECCO
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
HASKELL
2005
ACM
14 years 3 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
JDCTA
2008
13 years 10 months ago
2008
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...